W. Andrew, . Appel, and . David-b-macqueen, Standard ML of New Jersey, International Symposium on Programming Language Implementation and Logic Programming, pp.1-13, 1991.

K. Asai and O. Kiselyov, Introduction to Programming with Shift and Reset, 2011.

A. Corona, MFlow, a Continuation-Based Web Framework Without Continuations, 2014.

D. Piponi, The Mother of all Monads, pp.2017-2019, 2008.

D. Darais, N. Labich, C. Phúc, D. Nguyen, and . Van-horn, Abstracting Deenitional Interpreters (Functional Pearl), Proceedings of the ACM on Programming Languages, vol.1, p.12, 2017.

S. P. Kent-dyvbig, A. Jones, and . Sabry, A Monadic Framework for Delimited Continuations, Journal of Functional Programming, vol.17, pp.687-730, 2007.

M. Felleisen, The Theory and Practice of First-Class Prompts, Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.180-190, 1988.

M. Felleisen, On the Expressive Power of Programming Languages, pp.134-151, 1990.

A. Filinski, Representing Monads, Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), pp.446-457, 1994.

A. Filinski, Representing Layered Monads, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.175-188, 1999.

M. Hanus, H. Kuchen, and J. , Curry: A Truly Functional Logic Language, Proc. ILPS, vol.95, pp.95-107, 1995.

R. Hinze, Kan Extensions for Program Optimisation or: Art and Dan Explain an Old Trick, International Conference on Mathematics of Program Construction, pp.324-362, 2012.

G. Hutton and E. Meijer, Monadic Parsing in Haskell, Journal of functional programming, vol.8, pp.437-444, 1998.

O. Kiselyov, Delimited Control in OCaml, Abstractly and Concretely: System Description, International Symposium on Functional and Logic Programming, pp.304-320, 2010.

O. Kiselyov and . Sivaramakrishnan, EE directly in OCaml, Post-proceedings of the ML workshop 2016, 2017.

M. Lillibridge, Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. Higher-Order and Symbolic Computation, vol.12, pp.75-104, 1999.

G. Pettyjohn, J. Clements, J. Marshall, S. Krishnamurthi, and M. Felleisen, Continuations from Generalized Stack Inspection, Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP '05), pp.216-227, 2005.
DOI : 10.1145/1090189.1086393
URL : http://www.ccs.neu.edu/scheme/pubs/icfp05-pcmkf.pdf

H. Thielecke, Contrasting Exceptions and Continuations, 2001.

. Peter-thiemann, 8th International Symposium, pp.277-293, 2006.

, TIOBE Software BV. 2017. TIOBE Index for, pp.2017-2019, 2017.

S. Weeks, Whole-Program Compilation in MLton, pp.1-1, 2006.
DOI : 10.1145/1159876.1159877