Type directed partial evaluation for level-1 shift and reset

zbMATH Open1471.68066arXiv1210.2094MaRDI QIDQ4957791FDOQ4957791

Authors: Danko Ilik 

Publication date: 9 September 2021

Full work available at URL: https://arxiv.org/abs/1210.2094

Recommendations

• scientific article; zbMATH DE number 1487847
• scientific article; zbMATH DE number 2090724
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• scientific article; zbMATH DE number 2018582
• scientific article; zbMATH DE number 177846

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Type theory (03B38)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Continuation-passing style models complete for intuitionistic logic
• Representing Control: a Study of the CPS Transformation
• Delimited control operators prove double-negation shift
• Axioms for control operators in the CPS hierarchy
• Title not available (Why is that?)
• Kripke models for classical logic
• A compiled implementation of strong reduction

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Coq

This page was built for publication: Type directed partial evaluation for level-1 shift and reset

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