Type Checking by Domain Analysis in Ampersand
From MaRDI portal
Publication:3460627
DOI10.1007/978-3-319-24704-5_14zbMath1471.68067OpenAlexW2260203793MaRDI QIDQ3460627
Stef Joosten, Sebastiaan J. C. Joosten
Publication date: 8 January 2016
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24704-5_14
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (2)
Software Development in Relation Algebra with Ampersand ⋮ Relation algebra as programming language using the Ampersand compiler
Uses Software
This page was built for publication: Type Checking by Domain Analysis in Ampersand