DOI10.1016/j.jlamp.2015.11.005zbMath1348.68030MaRDI QIDQ739624
Lorenzo Bettini
Publication date: 18 August 2016 Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.11.005
zbMATH Keywords
DSL; semantics; implementation; type systems; Eclipse
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
Uses Software