A calculus for overloaded functions with subtyping

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141537 ◽

1992 ◽

Author(s):

Giuseppe Castagna ◽

Giorgio Ghelli ◽

Giuseppe Longo

Download Full-text