The following pages link to (Q3771589):
Displaying 14 items.
- Space-efficient gradual typing (Q656856) (← links)
- Properties of a first-order functional language with sharing (Q673126) (← links)
- Implementing term rewrite languages in DACTL (Q912591) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Uniqueness logic (Q2368939) (← links)
- Algebraic correctness proofs for compiling recursive function definitions with strictness information (Q2502270) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- Extending graph rewriting with copying (Q5096274) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- Parallel graph rewriting on loosely coupled machine architectures (Q5881294) (← links)
- Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data (Q6535521) (← links)
- Uniqueness types for efficient and verifiable aliasing-free embedded systems programming (Q6536347) (← links)
