David MacQueen

Available identifiers

zbMath Open macqueen.david-bMaRDI QIDQ1317429

List of research outcomes

Publication	Date of Publication	Type
An abstract interpretation for ML equality kinds	2022-08-16	Paper
Kahn networks at the dawn of functional programming	2010-02-05	Paper
A Rewriting Semantics for Type Inference	2007-09-04	Paper
Should ML be object-oriented?	2002-09-25	Paper
Adaptation in HOT languages comparing polymorphism, modules, and objects	2002-01-30	Paper
Computing ML equality kinds using abstract interpretation	1994-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q3026313	1987-01-01	Paper
An ideal model for recursive polymorphic types	1986-01-01	Paper
Completeness of Proof Systems for Equational Specifications	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138147	1977-01-01	Paper
Selection in abstract recursion theory	1976-01-01	Paper

Research outcomes over time

This page was built for person: David MacQueen