Practical Optional Types for Clojure
From MaRDI portal
Publication:2802470
DOI10.1007/978-3-662-49498-1_4zbMath1335.68025arXiv1812.03571OpenAlexW2183621552MaRDI QIDQ2802470
Ambrose Bonnaire-Sergeant, Sam Tobin-Hochstadt, Rowan Davies
Publication date: 26 April 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.03571
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Practical Optional Types for Clojure