Kinded type inference for parameteric overloading
- 1 February 1996
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 33 (1) , 21-68
- https://doi.org/10.1007/s002360050035
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A gentle introduction to HaskellACM SIGPLAN Notices, 1992
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Parametric type classesACM SIGPLAN Lisp Pointers, 1992
- On the complexity of ML typability with overloadingPublished by Springer Nature ,1991
- Type classes and overloading resolution via order-sorted unificationPublished by Springer Nature ,1991
- LEAP: A language with eval and polymorphismPublished by Springer Nature ,1989
- The calculus of constructionsInformation and Computation, 1988
- Parametric overloading in polymorphic programming languagesPublished by Springer Nature ,1988
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955