Sciweavers

3 search results - page 1 / 1
» Merging Monads and Folds for Functional Programming
Sort
View
30
Voted
AFP
1995
Springer
125views Formal Methods» more  AFP 1995»
14 years 2 months ago
Merging Monads and Folds for Functional Programming
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
Erik Meijer, Johan Jeuring
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
14 years 3 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
AOSD
2010
ACM
14 years 5 months ago
EffectiveAdvice: disciplined advice with explicit effects
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
Bruno C. d. S. Oliveira, Tom Schrijvers, William R...