[CakeML] ML semantics

[Gergely Buday]

Hi,

 

which paper describes the lem semantics of CakeML at

 

https://github.com/CakeML/cakeml/tree/master/semantics ?

 

https://cakeml.org/esop16.pdf

 

describes the big-step but there is a small-step semantics as well.

 

- Gergely

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20160725/1bb73ea8/attachment.html>