A practical subtyping system for Erlang
- 1 August 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (8) , 136-149
- https://doi.org/10.1145/258948.258962
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- The Type and Effect DisciplineInformation and Computation, 1994
- Soft typing with conditional typesPublished by Association for Computing Machinery (ACM) ,1994
- A practical soft type system for SchemePublished by Association for Computing Machinery (ACM) ,1994
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Type inference with simple subtypesJournal of Functional Programming, 1991
- Soft typingPublished by Association for Computing Machinery (ACM) ,1991
- An ideal model for recursive polymorphic typesInformation and Control, 1986
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982