1458 search results - page 9 / 292 » Monads for incremental computing |
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
DLT
2009
13 years 7 months ago
2009
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...
ENTCS
2007
13 years 9 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
JSW
2006
13 years 9 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
BIRTHDAY
1997
Springer
14 years 1 months ago
1997
Springer