I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Machine-checked natural semantics for Core Erlang: exceptio..:

, In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang,
Bereczky, Péter ; Horpácsi, Dániel ; Thompson, Simon J. - p. 1-13 , 2020
Link: https://dl.acm.org/doi/10.1145/3406085.3409008