Franklyn Turbak's Publications (reverse chronological)

To Appear

• [TB01] Franklyn Turbak and Robert Berg, Robotic Design Studio: Exploring the Big Ideas of Engineering in a Liberal Arts Environment (Extended Abstract). To appear in Proceedings of the AAAI Spring Symposium on Robotics and Education, 2001[PDF]

Published

• [TB02] Franklyn Turbak and Robert Berg, Robotic Design Studio: Exploring the Big Ideas of Engineering in a Liberal Arts Environment. Journal of Science Education and Technology 11(3): 237--253, Sep. 2002. This is an expanded version of [TB01]. [Abstract] [PDF]
• [WDMT0X] J. B. Wells, Allyn Dimock, Robert Muller, and Franklyn Turbak. A Calculus for Polymorphic and Polyvariant Flow Types. Journal of Functional Programming 12(3): 183-227, May 2002. [Abstract] [PS] [PDF]
• [JT01] Patricia Johann and Franklyn Turbak, Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science, Computer Science Education 11(4), Dec. 2001. [Abstract] [PS] [PDF]
• [DWM+01a] Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells. Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. International Conference on Functional Programming (ICFP '01). ACM, 2001. [Abstract] [PS] [PDF]
• [TW01] Franklyn Turbak and J. B. Wells. Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. Third International Conference on Principles and Practice of Declarative Programming. ACM, 2001. [Abstract] [PS] [PDF]
• [AT00] Torben Amtoft and Franklyn Turbak. Faithful Translations between Polyvariant Flows and Polymorphic Types. Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000. Published as Lecture Notes in Computer Science 1782 , Gert Smolka (Ed.) [Abstract] [PS] [PDF]
• [MT00] Elena Machkasova and Franklyn Turbak. A Calculus for Link-Time Compilation. Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000. Published as Lecture Notes in Computer Science 1782 , Gert Smolka (Ed.) [Abstract] [PS] [PDF]
• [DWM+01c] Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, and Jeffrey Considine. Program Representation Size in an Intermediate Language with Intersection and Union Types. Third Workshop on Types in Compilation (TIC'2000) Published as Lecture Notes in Computer Science 2071, Robert Harper (Ed.) [Abstract] [PS] [PDF]
• [DWM+01b] Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, and Jeffrey Considine. Program Representation Size in an Intermediate Language with Intersection and Union Types. Technical Report BUCS-TR-2001-02, Computer Science Department, Boston University, July 31, 2001. This is a version of [DWM+01c] extended with an appendix describing the CIL typed intermediate language. [Abstract] [PS] [PDF]
• [KMTW99] Assaf Kfoury, Harry Mairson, Franklyn Turbak, and J.B. Wells. Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems. International Conference on Functional Programming (ICFP '99). ACM, 1999. [Abstract] [PS] [PDF]
• [TRSH99] Franklyn Turbak, Constance Royden, Jennifer Stephan, and Jean Herbst. Teaching Recursion Before Iteration in CS1. The Journal of Computing in Small Colleges 14(4), May 1999. [Abstract] [PDF]
• [DMTW97] Allyn Dimock, Robert Muller, Franklyn Turbak, and J. B. Wells. Strongly Typed Flow-Directed Representation Transformations. In International Conference on Functional Programming (ICFP '97). ACM, 1997. [Abstract] [PS] [PDF]
• [TDMW97] Franklyn Turbak, Allyn Dimock, Robert Muller, and J. B. Wells. Compiling with Polymorphic and Polyvariant Flow Types. ACM SIGPLAN Workshop on Types in Compilation (TIC '97), June, 1997. [Abstract] [PS] [PDF]
• [WDMT97] J. B. Wells, Allyn Dimock, Robert Muller, and Franklyn Turbak. A Typed Intermediate Language for Flow-Directed Compilation. In 7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '97). Springer Verlag Lecture Notes in Computer Science, 1997. [Abstract] [PS] [PDF]
• [Tur96] Franklyn Turbak. First-Class Synchronization Barriers. In Proceedings of the International Conference on Functional Programming (ICFP '96). [Abstract] [PS] [PDF]
• [PET88] Roy Pea, Michael Eisenberg, and Franklyn Turbak. Creatures of Habit: A Computational System to Enhance and Illuminate the Development of Scientific Thinking. In Tenth Annual Conference of the Cognitive Science Society. Hillsdale, New Jersey: Lawrence Erlbaum Associates, 1988.
• [ERT87] Michael Eisenberg, Mitchel Resnick, and Franklyn Turbak. Understanding Procedures as Objects. In Gary M. Olson, Sylvia Sheppard, and Elliot Soloway, Empirical Studies of Programmers: Second Workshop. Norwood, New Jersey: Ablex, 1987.
• [MGT+87] Thomas Malone, Kenneth Grant, Franklyn Turbak, Stephen Brobst, and Michael Cohen. Intelligent Information-Sharing Systems. Communications of the ACM, May 1987.
• [MGT86] Thomas Malone, Kenneth Grant, and Franklyn Turbak. The Information Lens: An Intelligent System for Information Sharing in Organizations. In Proceedings of the CHI'86 Human Factors in Computing Conference. ACM, 1986.

Work In Progress

• [AT0X] Torben Amtoft and Franklyn Turbak. Faithful Translations between Polyvariant Flows and Polymorphic Types. Boston University technical report, 200X. Draft of an expanded full report of [AT00], August 1, 2001. In preparation for journal submission. [Abstract] [PS] [PDF]
• [MT0X] Elena Machkasova and Franklyn Turbak. A Computationally Sound Call-By-Value Module Calculus. Draft of a Boston University technical report that expands on [MT00], August 1, 2001. [Abstract] [PS] [PDF]
• [TG04] Franklyn Turbak and David Gifford, Design Concepts in Programming Languages. Course notes for MIT's graduate programming languages course (6.821). Draft, Jan. 2004. [6.821 materials]

Thesis Work

• [Tur94] Franklyn Turbak. Slivers: Computational Modularity via Synchronized Lazy Aggregates. Ph.D. dissertation, Massachusetts Institute of Technology, January 1994. Advisors: Gerald J. Sussman and David K. Gifford. [Abstract]
• [Tur93] Franklyn Turbak. Synchronized Lazy Aggregates. Draft of a technical memo based on my January 1994 MIT doctoral dissertation. December 1, 1993. [Abstract] [PS] [PDF]
• [Tur86] Franklyn Turbak. Grasp: A Visible and Manipulable Model for Procedural Programs. S.M. Thesis, Massachusetts Institute of Technology, May 1986. Advisors: Andrea diSessa and D. Austin Henderson.