7535 search results - page 60 / 1507 » A Type System for CHR |
ICNC
2005
Springer
14 years 1 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 7 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 8 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
13 years 12 months ago
1998
Springer
Suppose we translate two different source languages,
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...