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:182 - 30 self

Documents Related by Co-Citation

97 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
339 Theorems for free! – Philip Wadler - 1989
148 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
125 Implementing Type Classes – John Peterson, Mark Jones
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
1353 Monads for functional programming – Philip Wadler - 1995
760 Types and Programming Languages – Benjamin C Pierce - 2002
108 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000