31686 search results - page 208 / 6338 » Resource typing in Guru |
77
Voted
MSCS
2010
14 years 11 months ago
2010
tations of imperative abstract data types.
68
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
92
Voted
POS
1990
Springer
15 years 4 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
88
Voted
CATS
2008
15 years 2 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
15 years 7 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 ...