Jumping Semantics For Call-By-Push-Value

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	27-40
Number of pages	14
Publication status	Published - 1 Jan 2006
Event	Proceedings, KAZAM Workshop, June 2005, Birmingham, UK, Computer Science Technical Report CSR-06-10 - Duration: 1 Jan 2006 → …

Conference	Proceedings, KAZAM Workshop, June 2005, Birmingham, UK, Computer Science Technical Report CSR-06-10
Period	1/01/06 → …

Cite this

@conference{4b18022724044de2a4c2109ff5536dc0,

title = "Jumping Semantics For Call-By-Push-Value",

author = "Paul Levy and O Danvy and Hayo Thielecke",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "27--40",

note = "Proceedings, KAZAM Workshop, June 2005, Birmingham, UK, Computer Science Technical Report CSR-06-10 ; Conference date: 01-01-2006",

}