hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Concoqtion: Indexed Types Now!
Rice University, Houston, United States.
Rice University, Houston, United States.
University of Colorado, Boulder, United States.
Rice University, Houston, United States.
2007 (English)In: PEPM 2007: proceedings of the Workshop on Partial Evaluation and Program Manipulation : Nice, France, January 15-16, 2007, New York, NY: ACM Press, 2007, 112-121 p.Conference paper, Published paper (Refereed)
Abstract [en]

Almost twenty years after the pioneering efforts of Cardelli, the programming languages community is vigorously pursuing ways to incorporate Fω-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach to adding such highly expressive types to full-fledged programming languages. The approach is applied to MetaOCaml using the Coq proof checker to conservatively extend Hindley-Milner type inference. The implementation of MetaOCaml Concoqtion requires minimal modifications to the syntax, the type checker, and the compiler; and yields a language comparable in notation to the leading proposals. The resulting language provides unlimited expressiveness in the type system while maintaining decidability. Furthermore, programmers can take advantage of a wide range of libraries not only for the programming language but also for the indexed types. Programming in MetaOCaml Concoqtion is illustrated with small examples and a case study implementing a statically-typed domain-specific language.

Place, publisher, year, edition, pages
New York, NY: ACM Press, 2007. 112-121 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20967DOI: 10.1145/1244381.1244400Scopus ID: 2-s2.0-35348823663ISBN: 1595936203 ISBN: 978-159593620-2 OAI: oai:DiVA.org:hh-20967DiVA: diva2:588262
Conference
PEPM'07. 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, Nice, France, January 15-16
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2013-02-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 105 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf