Reuse by Program Transformation (2000)

Cached

Download Links

by Ralf Lämmel
Venue:Functional Programming Trends 1999. Intellect, 2000. Selected papers from the 1st Scottish Functional Programming Workshop
Citations:19 - 9 self

Active Bibliography

5 Evolution of Rule-Based Programs – Ralf Lämmel - 2004
Abstract – Ralf Lämmel - 2002
12 Monads for Natural Language Semantics – Chung-Chieh Shan
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
1 Semantics, Modularity, and Rewriting Logic – Peter D. Mosses, Peter D. Mosses - 1998
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
7 The Essence of Multitasking – William L. Harrison - 2006
12 An Introduction to Reflection-Oriented Programming – J.M. Sobel, Daniel P. Friedman - 1996
Première partie – unknown authors
3 A program logic for higher-order procedural variables . . . . – T. Crolard, et al. - 2009
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
35 Semantic Lego – David Espinosa - 1995
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
4 Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract) – William L. Harrison, Samuel N. Kamin - 1998