678 search results - page 92 / 136 » A simple typed intermediate language for object-oriented lan... |
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
ICALP
2001
Springer
14 years 1 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
ICALP
1998
Springer
14 years 27 days ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...