Type checking type classes
暂无分享,去创建一个
[1] Paul Hudak,et al. Parametric type classes , 1992, LFP '92.
[2] Simon L. Peyton Jones,et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.
[3] Mark P. Jones. A Theory of Qualified Types , 1992, ESOP.
[4] Philip Wadler,et al. How to make ad-hoc polymorphism less ad hoc , 1989, POPL '89.
[5] Mark P. Jonesy. A Theory of Qualiied Types , 1992 .
[6] Dominique Clément,et al. A simple applicative language: mini-ML , 1986, LFP '86.
[7] Stephen Blott. An approach to overloading with polymorphism , 1991 .
[8] Robin Milner,et al. Definition of standard ML , 1990 .
[9] Tobias Nipkow,et al. Type Classes and Overloading Resolution via Order-Sorted Unification , 1991, FPCA.
[10] Stefan Kaes. Type inference in the presence of overloading, subtyping and recursive types , 1992, LFP '92.
[11] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.
[12] Geoffrey Smith,et al. On the Complexity of ML Typability with Overloading , 1991, FPCA.
[13] Rod M. Burstall,et al. HOPE: An experimental applicative language , 1980, LISP Conference.
[14] Stefan Kaes,et al. Parametric Overloading in Polymorphic Programming Languages , 1988, ESOP.
[15] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..