Sciweavers

62 search results - page 2 / 13
» Monad transformers as monoid transformers
Sort
View
HASKELL
2008
ACM
13 years 7 months ago
Making monads first-class with template haskell
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
Pericles S. Kariotis, Adam M. Procter, William L. ...
DM
2008
102views more  DM 2008»
13 years 6 months ago
Largest subsemigroups of the full transformation monoid
In this paper we are concerned with the following question: for a semigroup S, what is the largest size of a subsemigroup T S where T has a given property? The semigroups S that w...
R. Gray, J. D. Mitchell
CC
2003
Springer
141views System Software» more  CC 2003»
13 years 11 months ago
A New One-Pass Transformation into Monadic Normal Form
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
Olivier Danvy
CSL
2008
Springer
13 years 8 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas
DLT
2003
13 years 7 months ago
On Deterministic Finite Automata and Syntactic Monoid Size, Continued
We continue our investigation on the relationship between regular languages and syntactic monoid size. In this paper we confirm the conjecture on two generator transformation semi...
Markus Holzer, Barbara König