dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 02:58:26 +00:00
Code Issues Releases Wiki Activity

Update slides

Browse Source
This commit is contained in:
Daniel Hillerström
2022-11-17 11:10:29 +00:00
parent c60dc80fde
commit ed634fcaa3
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
code/ehop2022.links
View File

@@ -61,7 +61,7 @@ fun has(k, kvs) {
# Laboratory for Foundations of Computer Science # Laboratory for Foundations of Computer Science
# The University of Edinburgh, Scotland, UK # The University of Edinburgh, Scotland, UK
# #
# EPL, The University of Edinburgh # Elements of Programming Languages
# November 17, 2022 # November 17, 2022
# #
# https://dhil.net/research/ # https://dhil.net/research/
@@ -433,7 +433,7 @@ fun example0() {
} }
# #?
# #
# Dynamic semantics of handlers # Dynamic semantics of handlers
# #
@@ -445,7 +445,7 @@ fun example0() {
# ,fun(x){ handle(E[x]) { case <Op(p) => r> -> N case ... }}/r] # ,fun(x){ handle(E[x]) { case <Op(p) => r> -> N case ... }}/r]
# (if Op \notin E) # (if Op \notin E)
# #
# #!
#{ #{
#! #!
@@ -493,7 +493,7 @@ sig example1 : () -> (Int, File)
fun example1() { fun example1() {
basicIO(fun() { basicIO(fun() {
status(fun() { status(fun() {
echo("dead"); exit(1); echo("code") echo("Hello"); exit(1); echo("World")
}) })
}) })
} }