David MacQueen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An abstract interpretation for ML equality kinds Lecture Notes in Computer Science	2022-08-16	Paper
Kahn networks at the dawn of functional programming	2010-02-05	Paper
A Rewriting Semantics for Type Inference Programming Languages and Systems	2007-09-04	Paper
Should ML be object-oriented? Formal Aspects of Computing	2002-09-25	Paper
Adaptation in HOT languages comparing polymorphism, modules, and objects	2002-01-30	Paper
Computing ML equality kinds using abstract interpretation Information and Computation	1994-03-24	Paper
scientific article; zbMATH DE number 4013996 (Why is no real title available?)	1987-01-01	Paper
An ideal model for recursive polymorphic types Information and Control	1986-01-01	Paper
Completeness of Proof Systems for Equational Specifications IEEE Transactions on Software Engineering	1985-01-01	Paper
scientific article; zbMATH DE number 3566181 (Why is no real title available?)	1977-01-01	Paper
Selection in abstract recursion theory Journal of Symbolic Logic	1976-01-01	Paper

Research outcomes over time

This page was built for person: David MacQueen