1791 search results - page 49 / 359 » Two Types of Multiple-Conclusion Systems |
231
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
149
click to vote
AGI
2011
14 years 6 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
168
Voted
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
123
click to vote
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
114
Voted
VL
2002
IEEE
15 years 7 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...