Algebra of Programming Using Dependent Types

DOI10.1007/978-3-540-70594-9_15zbMath1156.68358OpenAlexW1575779505MaRDI QIDQ3521992

Hsiang-Shang Ko, Patrik Jansson, Shin-Cheng Mu

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_15

Mathematics Subject Classification ID

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

Related Items (1)

Algebra of programming in Agda: Dependent types for relational program derivation

Cites Work

• Unnamed Item
• Inductive families
• Functional algorithm design
• The view from the left
• Cayenne—a language with dependent types
• Dependent ML An approach to practical programming with dependent types
• Relational and Kleene-Algebraic Methods in Computer Science
• Higher-order matching for program transformation

This page was built for publication: Algebra of Programming Using Dependent Types