ML-Like Inference for Classifiers

34Citations
Citations of this article
18Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivation for classifiers was the feasibility of inference, this was in fact not established. This paper starts with the observation that inference for the full classifier-based system fails. We then identify a subset of the original system for which inference is possible. This subset, which uses implicit classifiers, retains significant expressivity (e.g. it can embed the calculi of Davies and Pfenning) and eliminates the need for classifier names in terms. Implicit classifiers were implemented in MetaOCaml, and no changes were needed to make an existing test suite acceptable by the new type checker. © Springer-Verlag 2004.

References Powered by Scopus

Principal type-schemes for functional programs

699Citations
N/AReaders
Get full text

Template meta-programming for Haskell

405Citations
N/AReaders
Get full text

A modal analysis of staged computation

202Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

212Citations
N/AReaders
Get full text

Contextual modal type theory

170Citations
N/AReaders
Get full text

The design and implementation of BER MetaOCaml: System sescription

66Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Calcagno, C., Moggi, E., & Taha, W. (2004). ML-Like Inference for Classifiers. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2986, 79–93. https://doi.org/10.1007/978-3-540-24725-8_7

Readers over time

‘10‘11‘12‘13‘14‘15‘16‘17‘18‘2100.751.52.253

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 6

50%

Professor / Associate Prof. 5

42%

Researcher 1

8%

Readers' Discipline

Tooltip

Computer Science 16

100%

Save time finding and organizing research with Mendeley

Sign up for free
0