1791 search results - page 28 / 359 » Two Types of Multiple-Conclusion Systems |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose in this paper an algorithm for off-line selection of the contents of on-chip memories. The algorithm supports two types of on-chip memories, namely locked caches and sc...
TSD
2001
Springer
14 years 22 hour ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
ICALP
2003
Springer
14 years 24 days ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
HOA
1993
13 years 11 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...