Adjunction models for call-by-push-value with stacks.
Theory and Applications of Categories [electronic only] (2005)
- Volume: 14, page 75-110
- ISSN: 1201-561X
Access Full Article
top
How to cite
topLevy, Paul Blain. "Adjunction models for call-by-push-value with stacks.." Theory and Applications of Categories [electronic only] 14 (2005): 75-110. <http://eudml.org/doc/124940>.
@article{Levy2005,
author = {Levy, Paul Blain},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {call-by-push-value; adjunction; monad; denotational semantics; call-by-name; call-by-value},
language = {eng},
pages = {75-110},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Adjunction models for call-by-push-value with stacks.},
url = {http://eudml.org/doc/124940},
volume = {14},
year = {2005},
}
TY - JOUR
AU - Levy, Paul Blain
TI - Adjunction models for call-by-push-value with stacks.
JO - Theory and Applications of Categories [electronic only]
PY - 2005
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 14
SP - 75
EP - 110
LA - eng
KW - call-by-push-value; adjunction; monad; denotational semantics; call-by-name; call-by-value
UR - http://eudml.org/doc/124940
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.