Editorial: Special issue on programming with dependent types

DOI10.1017/S0956796817000065MaRDI QIDQ5372011zbMATH OpenOpenAlexFDO

Authors

Publication date 23 October 2017

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796817000065

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Recommendations

• Editorial: Special issue dedicated to ICFP 2014
• A Brief Overview of Agda – A Functional Language with Dependent Types
• scientific article; zbMATH DE number 2090721
• Selected papers from dependently typed programming 2010 -- overview
• Dependent ML An approach to practical programming with dependent types

Cited in

(4)

• scientific article; zbMATH DE number 2247254 (Why is no real title available?)
• From realizability to induction via dependent intersection
• Selected papers from dependently typed programming 2010 -- overview
• Editorial: Special issue dedicated to ICFP 2014

Describes a project that uses

Uses Software

• Idris
• Agda
• Coq

This page was built for publication: Editorial: Special issue on programming with dependent types

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