Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Atkey, Robert
Lindley, Sam
and
Yallop, Jeremy
2009.
Unembedding domain-specific languages.
p.
37.
Atkey, Robert
2009.
Algebra and Coalgebra in Computer Science.
Vol. 5728,
Issue. ,
p.
3.
Borgström, Johannes
Gordon, Andrew D.
and
Pucella, Riccardo
2010.
Reflections on the Work of C.A.R. Hoare.
p.
71.
Pottier, François
2011.
A typed store-passing translation for general references.
p.
147.
Pottier, François
2011.
A typed store-passing translation for general references.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 1,
p.
147.
BORGSTRÖM, JOHANNES
GORDON, ANDREW D.
and
PUCELLA, RICCARDO
2011.
Roles, stacks, histories: A triple for Hoare.
Journal of Functional Programming,
Vol. 21,
Issue. 2,
p.
159.
Devriese, Dominique
and
Piessens, Frank
2011.
Information flow enforcement in monadic libraries.
p.
59.
Imai, Keigo
Yuen, Shoji
and
Agusa, Kiyoshi
2011.
Session Type Inference in Haskell.
Electronic Proceedings in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
74.
Kammar, Ohad
and
Plotkin, Gordon D.
2012.
Algebraic foundations for effect-dependent optimisations.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 1,
p.
349.
Kammar, Ohad
and
Plotkin, Gordon D.
2012.
Algebraic foundations for effect-dependent optimisations.
p.
349.
Martins, Pedro M.
McCann, Julie A.
and
Eisenbach, Susan
2012.
Practical Aspects of Declarative Languages.
Vol. 7149,
Issue. ,
p.
48.
Swierstra, Wouter
2012.
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine.
Electronic Proceedings in Theoretical Computer Science,
Vol. 76,
Issue. ,
p.
163.
Tate, Ross
2013.
The sequential semantics of producer effect systems.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
15.
Tate, Ross
2013.
The sequential semantics of producer effect systems.
p.
15.
Petricek, Tomas
Orchard, Dominic
and
Mycroft, Alan
2013.
Automata, Languages, and Programming.
Vol. 7966,
Issue. ,
p.
385.
Hicks, Michael
Bierman, Gavin
Guts, Nataliya
Leijen, Daan
and
Swamy, Nikhil
2014.
Polymonadic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 153,
Issue. ,
p.
79.
Katsumata, Shin-ya
2014.
Parametric effect monads and semantics of effect systems.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
633.
Brunel, Aloïs
Gaboardi, Marco
Mazza, Damiano
and
Zdancewic, Steve
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
351.
Katsumata, Shin-ya
2014.
Parametric effect monads and semantics of effect systems.
p.
633.
Bracker, Jan
and
Nilsson, Henrik
2015.
Polymonad programming in Haskell.
p.
1.
Discussions
No Discussions have been published for this article.