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

DOI10.1145/1111037.1111060zbMATH Open1369.68076OpenAlexW2049268728MaRDI QIDQ5348928FDOQ5348928

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

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

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)

Cited In (13)

• Type and Effect System for Multi-staged Exceptions
• Contextual modal type theory with polymorphic contexts
• Modal intersection types, two-level languages, and staged synthesis
• Directly reflective meta-programming
• Modality via iterated enrichment
• Title not available (Why is that?)
• 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)