31686 search results - page 208 / 6338 » Resource typing in Guru |
MSCS
2010
13 years 7 months ago
2010
tations of imperative abstract data types.
POPL
2012
ACM
12 years 4 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
POS
1990
Springer
14 years 1 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
CATS
2008
13 years 10 months ago
2008
In the system of intersection types, without , the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsys...
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
As metadata is often not sufficiently provided by authors of Learning Resources, automatic metadata generation methods are used to create metadata afterwards. One kind of metadata ...