Mitchell Wand

Available identifiers

zbMath Open wand.mitchellMaRDI QIDQ808686

List of research outcomes

Publication	Date of Publication	Type
Correctness of procedure representations in higher-order assembly language	2023-08-16	Paper
Untyped lambda-calculus with input-output	2023-02-23	Paper
Type reconstruction with recursive types and atomic subtyping	2022-11-02	Paper
Romeo: A system for more flexible binding-safe programming	2017-10-23	Paper
Small bisimulations for reasoning about higher-order imperative programs	2017-08-21	Paper
Romeo	2016-09-29	Paper
Trampolined style	2016-09-01	Paper
A Resource Analysis of the π-calculus	2016-07-15	Paper
Relating models of backtracking	2015-03-09	Paper
A separation logic for refining concurrent objects	2014-04-10	Paper
Bottom-up β-reduction: Uplinks and λ-DAGs	2011-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3651734	2009-12-11	Paper
The Higher-Order Aggregate Update Problem	2009-02-10	Paper
A Theory of Hygienic Macros	2008-04-11	Paper
On the correctness of the Krivine machine	2007-12-17	Paper
Programming Languages and Systems	2007-05-02	Paper
Selectors make set-based analysis too hard	2006-01-23	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4738358	2004-08-11	Paper
CPS transformation of flow information	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4445766	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q2736592	2001-09-11	Paper
Set constraints for destructive array update optimization	2001-07-23	Paper
Type inference with non-structural subtyping	1997-08-03	Paper
Strong normalization with non-structural subtyping	1996-07-01	Paper
Conditional lambda-theories and the verification of static properties of programs	1994-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4024007	1993-01-23	Paper
Type inference for record concatenation and multiple inheritance	1991-01-01	Paper
Correctness of static flow analysis in continuation semantics	1991-01-01	Paper
A short proof of the lexical addressing algorithm	1990-01-01	Paper
Incorporating static analysis in a combinator-based compiler	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204026	1989-01-01	Paper
Linear future semantics and its implementation	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787979	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774987	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680263	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750108	1985-01-01	Paper
What is Lisp	1984-01-01	Paper
Loops in combinator-based compilers	1983-01-01	Paper
Specifications, models, and implementations of data abstractions	1982-01-01	Paper
Deriving Target Code as a Representation of Continuation Semantics	1982-01-01	Paper
First-order identities as a defining language	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3867145	1980-01-01	Paper
Continuation-Based Program Transformation Strategies	1980-01-01	Paper
Final algebra semantics and data type extensions	1979-01-01	Paper
Fixed-point constructions in order-enriched categories	1979-01-01	Paper
A New Incompleteness Result for Hoare's System	1978-01-01	Paper
Compiling lambda-expressions using continuations and factorizations	1978-01-01	Paper
A characterization of weakest preconditions	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4104120	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4140350	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4061942	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4061986	1975-01-01	Paper
Boolean-valued loops	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4094360	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4404457	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mitchell Wand