[CakeML] ML semantics

[Magnus Myreen]

I don't think it has been described in a paper with more than a line
or two. The POPL'14 paper mentions the small-step semantics a few
times: https://cakeml.org/popl14.pdf
-- Magnus

On 25 July 2016 at 11:35, Gergely Buday <buday.gergely at uni-eszterhazy.hu> wrote:
> 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
>
>
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users
>