A kernel language for abstract data types and modules.
Proc. of the international symposium on Semantics of data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Three approaches to type structure
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Type reconstruction with first-class polymorphic values
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
COLOG-88 Proceedings of the international conference on Computer logic
On the representation of data in lambda-calculus
CSL '89 Proceedings of the third workshop on Computer science logic
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Polymorphic rewriting conserves algebraic strong normalization
Selected papers of the 16th international colloquium on Automata, languages, and programming
| Hi-index | 0.00 |