3 search results - page 1 / 1 » Unifying Recursive and Co-recursive Definitions in Sheaf Cat... |
FOSSACS
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...