7555 search results - page 77 / 1511 » The Type System of DBPL |
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
ICNC
2005
Springer
14 years 2 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
APAL
2008
13 years 9 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
COLING
1990
13 years 10 months ago
1990
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
TIC
1998
Springer
14 years 1 months ago
1998
Springer
Suppose we translate two different source languages,