Hazelnut: a bidirectionally typed structure editor calculus
From MaRDI portal
Publication:5370848
DOI10.1145/3009837.3009900zbMath1380.68100arXiv1607.04180OpenAlexW2489483223MaRDI QIDQ5370848
No author found.
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.04180
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication: Hazelnut: a bidirectionally typed structure editor calculus