30 search results - page 3 / 6 » Monad Transformers and Modular Interpreters |
103
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
112
Voted
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
99
Voted
FOAL
2007
ACM
15 years 5 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
133
click to vote
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
120
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...