Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: a strongly typed, interactive conceptual language. To appear in Transactions on Database Systems.
2. Apple Computer: Inside Macintosh. Macintosh Publications, 1984.
3. Malcolm Atkinson: An approach to persistent programming. The Computer Journal 26, 4, pp. 360–365, 1983.
4. Rod Burstall, Butler Lampson: A kernel language for modules and abstract data types. Report n. 1, DEC Systems Research Center, 1984.
5. Luca Cardelli: Compiling a Functional Language. Proc. 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
2. Recursive Subtyping for All;Proceedings of the ACM on Programming Languages;2023-01-09
3. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022
4. Generic Programming in OCaml;Electronic Proceedings in Theoretical Computer Science;2018-12-31
5. IsoLATE: A Type System for Self-recursion;Programming Languages and Systems;2015