Type inference by program transformation and partial evaluation
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 347-354
- https://doi.org/10.1109/iccl.1988.13083
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Type inference by program transformation and partial evaluationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A maximum-flow approach to anomaly isolation in unification-based incremental type inferencePublished by Association for Computing Machinery (ACM) ,1986
- A polymorphic type system for prologArtificial Intelligence, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984