3273 search results - page 67 / 655 » types 2007 |
APLAS
2007
ACM
15 years 3 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...
APPML
2005
14 years 11 months ago
2005
A pair of Mond
AMC
2006
14 years 12 months ago
2006
A Mond
85
Voted
SE
2007
15 years 1 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...
RR
2007
Springer
15 years 6 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...