Matthias Blume
From MaRDI portal
Person:3189849
Available identifiers
zbMath Open blume.matthiasMaRDI QIDQ3189849
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Lambda-splitting | 2017-08-21 | Paper |
| Extensible programming with first-class cases | 2015-08-03 | Paper |
| Typed closure conversion preserves observational equivalence | 2015-03-16 | Paper |
| A sound (and complete) model of contracts | 2015-03-09 | Paper |
| An equivalence-preserving CPS translation via multi-language semantics | 2015-03-05 | Paper |
| Imperative self-adjusting computation | 2014-09-12 | Paper |
| A consistent semantics of self-adjusting computation | 2014-02-27 | Paper |
| A Consistent Semantics of Self-adjusting Computation | 2007-09-04 | Paper |
| Principal Type Schemes for Modular Programs | 2007-09-04 | Paper |
| Contracts as Pairs of Projections | 2007-05-02 | Paper |
| Sound and complete models of contracts | 2006-08-28 | 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: Matthias Blume
