Implicit parameters: dynamic scoping with static types (2000)

by Jeffrey R. Lewis , Mark B. Shields , Erik Meijert , John Launchbury
Venue:In POPL’00
Citations:81 - 4 self

Documents Related by Co-Citation

1531 Aspect-oriented programming – Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin - 1997
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
1305 Monads for functional programming – Philip Wadler - 1995
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
153 Type classes with functional dependencies – Mark P. Jones - 2000
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
18 Dynamic Variables – David R. Hanson, Todd A. Proebsting - 2001
1078 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
120 Implementing Type Classes – John Peterson, Mark Jones
730 Notions of Computation and Monads – Eugenio Moggi - 1991
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
51 Typing Haskell in Haskell – Mark P. Jones - 1999
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
8 Programming Perl. O'Reilly & Associates, 2nd edition – L Wall, T Christiansen, R Schwartz - 1996
1205 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
326 Theorems for free! – Philip Wadler - 1989