Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Semantics for λ&-early: A Calculus with Overloading and Early Binding
TLCA, 1993.
@inproceedings{TLCA-1993-CastagnaGL, author = "Giuseppe Castagna and Giorgio Ghelli and Giuseppe Longo", booktitle = "{Proceedings of the International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/BFb0037101", isbn = "3-540-56517-5", pages = "107--123", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Semantics for λ&-early: A Calculus with Overloading and Early Binding}", volume = 664, year = 1993, }