Editorial: Special issue on programming with dependent types

DOI10.1017/S0956796817000065zbMATH Open1418.68006OpenAlexW2622745479MaRDI QIDQ5372011FDOQ5372011

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• From realizability to induction via dependent intersection
• Selected papers from dependently typed programming 2010 -- overview
• Editorial: Special issue dedicated to ICFP 2014

Uses Software

• Coq
• Agda
• Idris

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)