| Abstract
|
<p>Environment classifiers were propo … <p>Environment classifiers were proposed as a new approach totyping multi-stage languages. Safety was established in the simply-typedand let-polymorphic settings. While the motivation for classifiers was thefeasibility of inference, this was in fact not established. This paper startswith the observation that inference for the full classifier-based systemfails. We then identify a subset of the original system for which inferenceis possible. This subset, which uses implicit classifiers, retains significantexpressivity (e.g. it can embed the calculi of Davies and Pfenning) andeliminates the need for classifier names in terms. Implicit classifiers wereimplemented in MetaOCaml, and no changes were needed to make anexisting test suite acceptable by the new type checker.</p>eptable by the new type checker.</p>
|
| Author
|
Cristiano Calcagno +
, Eugenio Moggi +
, Walid Taha +
|
| Conference
|
ESOP'04. European Symposium on Programming
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588275
|
| PublicationType
|
Conference Paper +
|
| Title
|
ML-like Inference for Classifiers +
|
| Year
|
2004 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
, Publications:ML-like Inference for Classifiers +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:44:47 +
|
