469 search results - page 16 / 94 » Putting curry-howard to work |
APLAS
2001
ACM
13 years 11 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
CADUI
2006
13 years 9 months ago
2006
Since R. Bolt's seminal "Put that there" demonstrator, more and more robust and innovative modalities can be used and empirical work on the usage of multiple modalit...
JFPLC
1998
13 years 8 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
COLING
1994
13 years 8 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
JITE
2008
13 years 7 months ago
2008
The proliferations of Information and Communications Technology (ICT) and an increase in the number of external students and of the digital youth have put considerable pressure up...