13 search results - page 2 / 3 » Attributive Types for Proof Erasure |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
CNSR
2005
IEEE
13 years 10 months ago
2005
IEEE
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...
IS
2006
13 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...