Programming with Polymorphic Variants (1998)

by Jacques Garrigue
Venue:In ML Workshop
Citations:43 - 10 self

Documents Related by Co-Citation

540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
604 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
5292 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
34 Code reuse through polymorphic variants – Jacques Garrigue - 2000
46 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
938 A theory of type polymorphism in programming – Robin Milner - 1978
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
657 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992