Bulk types with class (1996)

by Simon Peyton Jones
Venue:In Proceedings of the Second Haskell Workshop
Citations:12 - 1 self

Active Bibliography

267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
248 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
197 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
192 Soft typing with conditional types – Er Aiken - 1994
185 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
179 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
174 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
166 Type classes with functional dependencies – Mark P. Jones - 2000
131 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996