Searching for authors named Matthias Felleisen – sorted by Relevance.
71 documents found, showing 1 through 10.
Next 10 →
-
On the Expressive Power of Programming Languages
- …On the Expressive Power of Programming Languages Matthias Felleisen Department of Computer…
- Cited by 102 (4 self) – Add To MetaCart
-
Reasoning with Continuations III: A Complete Calculus of Control
- …Reasoning with Continuations III: A Complete Calculus of Control Amr Sabry Matthias Felleisen…
- Add To MetaCart
-
Lecture Notes on the Principles of Programming Languages
- … Felleisen Department of Computer Science Rice University Houston, TX 77005-1892 October 14, 1997 Contents…
- Add To MetaCart
-
Environmental acquisition revisited
- …Environmental Acquisition Revisited Richard Cobbe Matthias Felleisen PLT at the College…
- Cited by 4 (0 self) – Add To MetaCart
-
The semantics of Future
- …The Semantics of Future Cormac Flanagan Matthias Felleisen Rice COMP TR94-238 October 1994…
- Cited by 7 (3 self) – Add To MetaCart
-
Well-founded touch optimization for futures
- …Well-Founded Touch Optimization for Futures Cormac Flanagan Matthias Felleisen Rice COMP TR94…
- Cited by 3 (2 self) – Add To MetaCart
-
Program Verification through Soft Typing
- …Program Verification through Soft Typing Robert Cartwright & Matthias Felleisen Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Extensible Denotational Language Specifications
- …Extensible Denotational Language Specifications Robert Cartwright, Matthias Felleisen Department…
- Cited by 28 (4 self) – Add To MetaCart
-
Modular and polymorphic set-based analysis: Theory and practice
- …Modular and Polymorphic Set-Based Analysis: Theory and Practice Cormac Flanagan Matthias Felleisen…
- Cited by 10 (3 self) – Add To MetaCart
-
A tail-recursive semantics for stack inspections
- …A Tail-Recursive Semantics for Stack Inspections John Clements, Matthias Felleisen Northeastern…
- Cited by 11 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
