Hassan Aït-Kaci
Outline of an Object-Oriented Calculus of Higher Type
PPDP, 1992.
@inproceedings{ALP-1992-Ait-Kaci, author = "Hassan Aït-Kaci", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013815", isbn = "3-540-55873-X", pages = "1--2", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Outline of an Object-Oriented Calculus of Higher Type}", volume = 632, year = 1992, }