31686 search results - page 127 / 6338 » Resource typing in Guru |
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
ICFP
2001
ACM
14 years 9 months ago
2001
ACM
TYPES
2007
Springer
14 years 3 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
LFCS
1994
Springer
14 years 1 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
JUCS
2008
13 years 9 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...