Dependent ML An approach to practical programming with dependent types

DOI10.1017/S0956796806006216zbMath1125.68033MaRDI QIDQ5308083

Hongwei Xi

Publication date: 26 September 2007

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

zbMATH Keywords

type index language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (6)

Contract-based verification of MATLAB-style matrix programs ⋮ Algebra of Programming Using Dependent Types ⋮ Algebra of programming in Agda: Dependent types for relational program derivation ⋮ Type-level Computation Using Narrowing in Ωmega ⋮ Language-Based Program Verification via Expressive Types ⋮ Realizability models for a linear dependent PCF

Uses Software

• Coq
• ETPS
• Cayenne

This page was built for publication: Dependent ML An approach to practical programming with dependent types