19 search results - page 1 / 4 » Multi-Level Languages are Generalized Arrows |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
APCCM
2009
13 years 12 months ago
2009
Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, namely classification, aggregation and...
GG
2008
Springer
13 years 12 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...
102
click to vote
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...