FRIEDMAN D P,WAND M,HAYNES C T.Essentials of programming language[M].2nd ed.Cambridge,Massachvsetts,USA:MIT-press,2001:308-317.
[2]
FLANAGN C,SABRY A,DUBA B F,et al.The essence of compiling with continuations[C]∥Proceedings of the ACMSIGPLAN 1993 Conference on Programming Language Design and Implementation.New York,USA:ACM,1993:237-247.
[3]
MATTHEWS J,FINDLER R B,GRAUNKE P T,et al.Automatically restructing programs for the Web[J].AutomatedSoftware Engineering,2004,11(4):337-364.
[4]
DUCASSE S,LIENHARD A,RENGGLI L.Seaside:a flexible environment for building dynamic Web applications[J].IEEESoftware,2007,24(5):56-63.
[5]
QUEINNEC C.Inverting back the inversion of control or,continuations versus page-centric programming[J].Journal of ACMSIGPLAN Notice,2003,38(2):57-64.
[6]
DANVY O,NIELSEN L R.A first-order one-pass CPS transformation[C]∥Proceedings of the5th International Conference onFoundations of Software Science and Computation Structures.London:Springer-Verlag,2002:98-113.
[7]
CLINGER W D.Proper tail recursion and space efficiency[C]∥Proceedings of ACM SIGPLAN 1998 Conference onProgramming Languages Design and Implementation.Montreal,Quebec,Canda:[s.n.],1998:174-185.
[8]
PIERCE B C.Types and programming languages[M].Cambridge,Massachusetts,USA:MIT-press,2002:117-146.
[9]
BOEHM H J.Space effiecient conservative garbage collection[C]∥Proceedings of the ACM SIGPLAN 1993 Conference onProgramming Language Design and Implementation.New York,USA:ACM,1993:197-206.
[10]
PRETTYJOHN G,CLEMENTS J,MARSHALL J,et al.Continuations from generalized stack inspection[C]∥Proceedingsof ACM SIGPLAN 2005 International Conference on Functional Programming.Tallinn,Estonia:ACM,2005:216-227.