Franklyn Turbak's Publications
[ST08]
Mark Sheldon and Franklyn Turbak.
An Aspect-oriented Approach to the Undergraduate Programming Language Curriculum.
In
SIGPLAN Programming Language Curriculum Workshop, May, 2008.
[PDF]
[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 the 2001 AAAI extended abstract.
[Abstract]
[PDF]
[WDMT02]
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]
[PDF]
[TB01]
Franklyn Turbak and Robert Berg,
Robotic Design Studio: Exploring the Big Ideas of Engineering
in a Liberal Arts Environment (Extended Abstract).
Proceedings of the AAAI Spring Symposium on Robotics and Education, 2001.
[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]
[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]
[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]
[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]
[PDF]
[Draft of full report]
[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]
[PDF]
[Draft of full report]
[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.
Third Workshop on Types in Compilation (TIC'2000)
Published as
Lecture Notes in Computer Science 2071,
Robert Harper (Ed.)
[Abstract]
[PDF]
[DWM+01a]
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 the TIC 2000 paper
extended with an appendix describing the CIL typed intermediate language.
[Abstract]
[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]
[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]
[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]
[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]
[PDF]
[Tur96]
Franklyn Turbak.
First-Class Synchronization Barriers.
In
Proceedings of the International Conference on
Functional Programming (ICFP '96).
[Abstract]
[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.
[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.
[Dissertation page]
[Tur93]
Synchronized Lazy Aggregates.
Draft of a technical memo based on my January 1994 MIT doctoral
dissertation. December 1, 1993.
[Abstract]
[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.