Franklyn Turbak's Publications

[MTS17] Eni Mustafaraj, Franklyn Turbak, and Maja Svanberg. Identifying Original Projects in App Inventor. In 30th International Conference of the Florida Artificial Intelligence Research Society (FLAIRS-30), Marco Island, FL, May 22-24, 2017. [PDF]
[WTMNL16] Richard Weiss, Franklyn Turbak, Jens Mache, Erik Nilsen, and Michael Locasto. Finding the Balance Between Guidance and Independence in Cybersecurity Exercises. In 2016 Usenix Workshop on Advances in Security Education, Austin, TX, August 9, 2016. [PDF]
[KT15] Soojin Kim and Franklyn Turbak. Adapting Higher-order List Operators for Blocks Programming. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2015), Atlanta, Georgia. October 19--21, 2015. [PDF]
[GJRST15] Meimei Gao, Julie Johnson, Dale Reed, Cate Sheller, Franklyn Turbak (Moderator). Using App Inventor in Introductory CS Courses (Panel Summary). In 46th ACM Technical Symposium on Computer Science Education (SIGCSE 2015). Kansas City, MO, Mar 6, 2015. [PDF]
[STADMOF14] Jeffrey Schiller, Franklyn Turbak, Hal Abelson, José Dominguez, Andrew McKinney, Johanna Okerlund, and Mark Friedman. Live Programming of Mobile Apps in App Inventor. In Proceedings of the 2nd Workshop on Programming for Mobile and Touch (PROMOTO '14), Portland, Oregon, Oct. 20, 2014. [PDF]
[TWM14] Franklyn Turbak, David Wolber, and Paul Medlock-Walton. The Design of Naming Features in App Inventor 2. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2014), Melbourne, Australia, July 30--Aug 1, 2014. [PDF]
[TSMWP14] Franklyn Turbak, Mark Sherman, Fred Martin, David Wolber and Shaileen Crawford Pokress. Events-First Programming in App Inventor. In Consortium for Computing Sciences in Colleges Northeastern Region Conference (CCSCNE 2014), Providence College, Apr 25-26, 2014. [PDF]
[TSKEDC12] Franklyn Turbak, Smaranda Sandu, Olivia Kotsopoulos, Emily Erdman, Erin Davis, and Karishma Chadha. Blocks Languages for Creating Tangible Artifacts. In IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC 2012), Oct, 2012. [PDF]
[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]
[TG08] Franklyn Turbak and David Gifford with Mark Sheldon. Design Concepts in Programming Languages. MIT Press, 2008. [Table of Contents and Sample Chapters] [MIT Press page for the book] [Amazon page for the book]
[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]
[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]
[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. [PDF]
[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.
[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. [PDF]