ReCaml

DOI10.1145/1863543.1863550zbMath1323.68060OpenAlexW2015455547WikidataQ131122510 ScholiaQ131122510MaRDI QIDQ5176926

Fabien Dagnat, Jérémy Buisson

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863550

zbMATH Keywords

continuationfunctional languagedynamic software updatingstatic typingCamlexecution state introspection

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) General topics in the theory of software (68N01)

Related Items (1)

ReCaml

Uses Software

• Coq
• Erlang
• Zinc

This page was built for publication: ReCaml