Sciweavers

84 search results - page 1 / 17
» A graphical approach to monad compositions
Sort
View
ENTCS
2000
55views more  ENTCS 2000»
13 years 3 months ago
A graphical approach to monad compositions
Patrik Eklund, Maria A. Galán, Jesús...
ICFP
2002
ACM
14 years 3 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
13 years 8 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...
ICALP
2007
Springer
13 years 9 months ago
A Combinatorial Theorem for Trees
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
Thomas Colcombet
FUIN
2010
83views more  FUIN 2010»
13 years 29 days ago
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
Vince Bárány, Lukasz Kaiser, Alexand...