19 search results - page 1 / 4 » Multi-Level Languages are Generalized Arrows |
CORR
2010
Springer
12 years 11 months ago
2010
Springer
APCCM
2009
13 years 6 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...
13
Voted
GG
2008
Springer
13 years 5 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 ...
ICFP
2009
ACM
14 years 5 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 4 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...