More complete list of publications
Flow-sensitive sub-zero control-flow analysis in linear-log time. Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, and R. Kent Dybvig. Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, OOPSLA '11, pages 483-498,. October, 2011. [abstract, bibtex].
Ftypes: Structured foreign types. Andrew W. Keep and R. Kent Dybvig. Scheme 2011: Workshop on Scheme and Functional Programming, October 2011 [abstract, bibtex].
Enabling cross-library optimization and compile-time error checking in the presence of procedural macros. Andrew W. Keep and R. Kent Dybvig. Proceedings of the 2010 Workshop on Scheme and Functional Programming, 66-76, August 2010 [abstract, bibtex].
Fixing letrec (reloaded). Abdulaziz Ghuloum and R. Kent Dybvig. Proceedings of the 2009 Workshop on Scheme and Functional Programming, 57-65, August 2009 [abstract, bibtex].
The Chez Scheme Version 8 User's Guide. R. Kent Dybvig. Cadence Research Systems, 2010 [bibtex].
The Scheme Programming Language, 4th edition. R. Kent Dybvig. MIT Press, 2009 [bibtex].
Efficient nondestructive equality checking for trees and graphs. Michael D. Adams and R. Kent Dybvig. Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, 179-188, September, 2008 [abstract, bibtex].
Implicit phasing for R6RS libraries. Abdulaziz Ghuloum and R. Kent Dybvig. Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 303-314, September, 2007 [abstract, bibtex].
Syntactic abstraction: the syntax-case expander. R. Kent Dybvig. In Andy Oram and Greg Wilson, Beautiful Code: Leading Programmers Explain How They Think, 407--428, June 2007 [bibtex].
The development of Chez Scheme. R. Kent Dybvig. Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, 1-12, September, 2006 (invited paper/talk) [abstract, bibtex, talk].
A monadic framework for delimited continuations. R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry. Journal of Functional Programming 17, 6, 687-730, November, 2007 [abstract, bibtex].
A nanopass framework for compiler education. Dipanwita Sarkar, Oscar Waddell, and R. Kent Dybvig. Journal of Functional Programming 15, 5 (Educational Pearl), 653-667, September 2005 [abstract, bibtex].
Extending the scope of syntactic abstraction. Oscar Waddell and R. Kent Dybvig. Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 203-213, January 1999 [abstract].
Fast and effective procedure inlining. Oscar Waddell and R. Kent Dybvig. Extended version of a paper that appeared in the Proceedings of the Fourth International Symposium on Static Analysis (SAS '97) Springer-Verlag Lecture Notes in Computer Science 1302, 35-52, September 1997. [abstract]
Subcontinuations. Robert Hieb, R. Kent Dybvig, and Claude W. Anderson, III. Lisp and Symbolic Computation 7, 1, 83-110, January 1994. [abstract].
Syntactic abstraction in Scheme. R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. Lisp and Symbolic Computation 5, 4, pp. 83-110, December 1992. [abstract].
Representing control in the presence of first-class continuations. Robert Hieb, R. Kent Dybvig, and Carl Bruggeman. ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, 66-77, June 1990. [abstract].
Papers published by the Association for Computing Machinery are copyrighted by ACM, Inc.