1247 search results - page 46 / 250 » Reasoning about Function Objects |
CHK
1999
13 years 8 months ago
1999
: Niklas Luhmann died in November 1998. He had been elaborating his theory of the society for more than thirty years which has been well received in many quarters of society in the...
CANDC
2002
ACM
13 years 8 months ago
2002
ACM
Previous research investigating sketching processes during object visualisation and design has indicated that drawing occurs in a primarily part-by-part manner, whereby the compon...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
SPAA
2009
ACM
14 years 5 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...