Searching for authors named "John Maraist" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Separating Weakening and Contraction in a Linear Lambda Calculus
- …Separating Weakening and Contraction in a Linear Lambda Calculus John Maraist Advanced Computing…
- Cited by 2 (1 self) – Add To MetaCart
-
Classical linear natural deduction and the linear λ_Δ calculus: a preliminary report
- … from the author November 24, 1999 c fl1999 John Maraist Abstract In this report we develop the system…
- Cited by 1 (0 self) – Add To MetaCart
-
A Pattern-Based Approach for a Flexible, Self-Extending Document System
- … John Maraist Fakultat fur Informatik School of Computer & Information Science Universitat Karlsruhe…
- Cited by 1 (0 self) – Add To MetaCart
-
Linear term reduction, recursion and the Girard translations
- …Linear term reduction, recursion and the Girard translations (Summary) John Maraist y…
- Add To MetaCart
-
The Call-by-Need Lambda Calculus (Unabridged)
- …The Call-by-Need Lambda Calculus (Unabridged) John Maraist Martin Odersky Universitat Karlsruhe…
- Cited by 3 (0 self) – Add To MetaCart
-
A Graph Reduction Technique and an Extension to the G-Machine for Pure, Lazy Functional-Logic Languages (Preliminary Report)
- …-Logic Languages (Preliminary Report) John Maraist Universitat Karlsruhe y Frank S. K. Silbermann Tulane…
- Cited by 1 (0 self) – Add To MetaCart
-
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages
- …A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages John…
- Cited by 1 (0 self) – Add To MetaCart
-
The Call-by-Need Lambda Calculus
- …The Call-by-Need Lambda Calculus John Maraist, Martin Odersky School of Computer and Information…
- Cited by 28 (2 self) – Add To MetaCart
-
A Pattern-Based Approach for a Flexible, Self-Extending Document System
- …A Pattern-Based Approach for a Flexible, Self-Extending Document System Christian Salzmann John…
- Add To MetaCart
-
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus
- …Call-by-name, call-by-value, call-by-need, and the linear lambda calculus John Maraist Martin…
- Cited by 23 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
