3273 search results - page 67 / 655 » types 2007 |
172
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
164
Voted
APPML
2005
15 years 7 months ago
2005
A pair of Mond
162
Voted
AMC
2006
15 years 7 months ago
2006
A Mond
183
click to vote
SE
2007
15 years 8 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
181
Voted
RR
2007
Springer
16 years 1 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...