Reasoning about programs in continuation-passing style.
- 期刊名称ACM SIGPLAN Lisp Pointers
- 作者Sabry, Amr; Felleisen, Matthias
- 期第1期
- 印刷ISSN1045-3563
- 文件大小992.67KB
- 发表时间1992-01-01
- DOI10.1145/141478.141563
- 页码288-298
The Letter BoxHenry A. Forster, G. M., Frank F. Williams, G. Spiller, Joseph B. Baker and Allie F. Morse · The Advocate of Peace (1894-1920) · 1919
The COMFY 6502 compilerBaker, Henry G. · ACM SIGPLAN Notices · 1997
Complex Gaussian integers for “Gaussian graphics”Baker, Henry G. · ACM SIGPLAN Notices · 1993
American Fern SocietyRobert T. Clausen, Elsie G. Whitney, Henry K. Svenson, H. L. Blomquist, Harriet E. Baker and R. M. Tryon, Jr. · American Fern Journal · 1940
GENERAL NOTESD. G. C. A., W. Shipley and Henry Baker · Journal of the Royal Society of Arts · 1965
A “linear logic” QuicksortBaker, Henry G. · ACM SIGPLAN Notices · 1994
Shallow binding in Lisp 1.5Baker, Henry G. · Communications of the ACM · 1978
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013