17 search results - page 4 / 4 » Cartesian Programming: The TransLucid Programming Language |
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
CTCS
1989
Springer
13 years 8 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...