Refined Environment Classifiers

DOI10.1007/978-3-319-47958-3_15zbMath1483.68082OpenAlexW2528770764MaRDI QIDQ3179298

Yukiyoshi Kameyama, Oleg Kiselyov, Yuto Sudo

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47958-3_15

Mathematics Subject Classification ID

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

Uses Software

• Freshml
• BER MetaOCaml

Cites Work

• Unnamed Item
• Environment classifiers
• Guarded recursive datatype constructors
• Combinators for program generation
• A fresh look at programming with names and binders
• ML ^F
• Contextual modal type theory
• A polymorphic modal type system for lisp-like multi-staged languages
• Monadic regions
• Meta-programming through typeful code representation

This page was built for publication: Refined Environment Classifiers