|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
1
|
When Is a Container a Comonad?
– Danel Ahman, James Chapman, Tarmo Uustalu
|
|
|
First-Class
– Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop, Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop
- 2011
|
|
30
|
Forwarding in attribute grammars for modular language design
– Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski
- 2002
|
|
|
Towards Merging Recursion and Comonads
– Alberto Pardo Instituto, Alberto Pardo
- 2000
|
|
7
|
The Dual of Substitution is Redecoration
– Tarmo Uustalu, Varmo Vene
- 2002
|
|
8
|
Towards Merging Recursion and Comonads
– Alberto Pardo
- 2000
|
|
4
|
A Calculational Approach to Strong Datatypes
– Alberto Pardo
- 1997
|
|
2
|
The essence of dataflow programming (short version
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
5
|
Signals and comonads
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
11
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
1
|
Semantics and Compilation of Recursive Sequential Streams in 8 1/2
– Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
- 1997
|
|
16
|
A Co-iterative Characterization of Synchronous Stream Functions
– Paul Caspi, Marc Pouzet
- 1997
|
|
1
|
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
– Neil Sculthorpe
- 2011
|
|
2
|
Representing Cyclic Structures as Nested Datatypes
– Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
|
|
|
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming
– Wrs' Th International, Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
|
|
1
|
Separation of concerns in compiler development using aspect-orientation
– Xiaoqing Wu, Barrett R. Bryant, Jeff Gray, Suman Roychoudhury
- 2006
|
|
5
|
JastAdd--an aspect-oriented compiler construction system
– Görel Hedin, Eva Magnusson
- 2003
|
|
26
|
Dealing with Large Bananas
– Ralf Lammel, Joost Visser, Jan Kort
- 2000
|
