I see there are no hits for "materialised execution" so I'd better bag it. Precedents: 2005 "Subtext 1" paper subtext-lang.org/OOPSLA05.pdf, mine, , , "divergence" paper ppig.org/files/2016-PPI, and of course, Boxer boxer-project.github.io
Conversation
Replying to
Sorry, now I saw 's like I finally recall that his term for this was "first-class executions" about which I would regularly grill him on every pub meet :)
1
I was just writing about divergence today referring to our paper!
1
What did you say about it - and what environment are you thinking of, that might reduce it?
1
Show replies
Replying to
Today's reading finds that pretty much bagged this before - 2009 Onward paper subtext-lang.org/Onward09.pdf reads "Materializing execution in this way .... "
1