The following pages link to Matthias Blume (Q3189849):
Displaying 11 items.
- Imperative self-adjusting computation (Q3189850) (← links)
- Contracts as Pairs of Projections (Q3434635) (← links)
- An equivalence-preserving CPS translation via multi-language semantics (Q5176993) (← links)
- A sound (and complete) model of contracts (Q5178036) (← links)
- Typed closure conversion preserves observational equivalence (Q5178761) (← links)
- Lambda-splitting (Q5348869) (← links)
- A consistent semantics of self-adjusting computation (Q5398334) (← links)
- Sound and complete models of contracts (Q5482278) (← links)
- Extensible programming with first-class cases (Q5501472) (← links)
- A Consistent Semantics of Self-adjusting Computation (Q5756512) (← links)
- Principal Type Schemes for Modular Programs (Q5756513) (← links)
