PolyP - a polytypic programming language extension (1997)

by Patrik Jansson , Johan Jeuring
Venue:POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:179 - 30 self

Documents Related by Co-Citation

95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
333 Theorems for free! – Philip Wadler - 1989
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
1318 Monads for functional programming – Philip Wadler - 1995
721 Types and programming languages – Benjamin C Pierce - 2002
121 Implementing Type Classes – John Peterson, Mark Jones
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
625 Compiling with Continuations – A Appel - 1992
1379 K.: Refactoring: improving the design of existing code – M Fowler, Beck - 1999