Partial type inference for untyped functional programs
- 1 May 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 282-287
- https://doi.org/10.1145/91556.91672
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Automatic autoprojection of higher order recursive equationsPublished by Springer Nature ,1990
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- Strictness analysisPublished by Association for Computing Machinery (ACM) ,1989
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988
- Finding the source of type errorsPublished by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965