19 search results - page 1 / 4 » Multi-Level Languages are Generalized Arrows |
59
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
104
Voted
APCCM
2009
15 years 1 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...
77
Voted
GG
2008
Springer
15 years 1 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 ...
218
Voted
ICFP
2009
ACM
16 years 1 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...
93
Voted
ICFP
2001
ACM
16 years 10 days 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...