95 search results - page 15 / 19 » CIA Structures and the Semantics of Recursion |
145
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
142
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
117
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
103
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
Persons may perform an activity in many different styles, or noise may cause an identical activity to have different temporal structures. We present a robust methodology for recog...
157
click to vote
PPDP
2010
Springer
15 years 27 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...