A polymorphic modal type system for Lisp-like multi-staged languages

DOI10.1145/1111037.1111060MaRDI QIDQ5348928zbMATH OpenOpenAlexFDO

Authors Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno

Publication date 21 August 2017

Published in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1111037.1111060

zbMATH Keywords

MLtype systemsschemetype inferenceLisppolymorphic typesrecord typemodal typeslet-polymorphismmulti-staged languagesquasi-quotation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Staged computation with staged lexical scope
• A modal analysis of staged computation
• Modal intersection types, two-level languages, and staged synthesis
• Closed types for a safe imperative MetaML
• scientific article; zbMATH DE number 3907754

Cited in

(13)

• Type and Effect System for Multi-staged Exceptions
• Modal intersection types, two-level languages, and staged synthesis
• Directly reflective meta-programming
• Contextual modal type theory with polymorphic contexts
• Modality via iterated enrichment
• scientific article; zbMATH DE number 2080286 (Why is no real title available?)
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• A Logical Foundation for Environment Classifiers
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• Reasoning about multi-stage programs
• Staged computation with staged lexical scope
• A dependently typed multi-stage calculus
• A very modal model of a modern, major, general type system

This page was built for publication: A polymorphic modal type system for Lisp-like multi-staged languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348928)