2008 |
13 | EE | Mark A. Sheldon,
Franklyn A. Turbak:
An aspect-oriented approach to the undergraduate programming language curriculum.
SIGPLAN Notices 43(11): 124-129 (2008) |
12 | EE | Eric Allen,
Mark W. Bailey,
Rastislav Bodík,
Kim B. Bruce,
Kathleen Fisher,
Stephen N. Freund,
Robert Harper,
Chandra Krintz,
Shriram Krishnamurthi,
James R. Larus,
Doug Lea,
Gary T. Leavens,
Lori L. Pollock,
Stuart Reges,
Martin C. Rinard,
Mark Sheldon,
Franklyn A. Turbak,
Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices 43(11): 6-29 (2008) |
2002 |
11 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A calculus with polymorphic and polyvariant flow types.
J. Funct. Program. 12(3): 183-227 (2002) |
2001 |
10 | | Allyn Dimock,
Ian Westmacott,
Robert Muller,
Franklyn A. Turbak,
J. B. Wells:
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.
ICFP 2001: 14-25 |
9 | | Franklyn A. Turbak,
J. B. Wells:
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees.
PPDP 2001: 137-149 |
2000 |
8 | EE | Torben Amtoft,
Franklyn A. Turbak:
Faithful Translations between Polyvariant Flows and Polymorphic Types.
ESOP 2000: 26-40 |
7 | EE | Elena Machkasova,
Franklyn A. Turbak:
A Calculus for Link-Time Compilation.
ESOP 2000: 260-274 |
6 | EE | Allyn Dimock,
Ian Westmacott,
Robert Muller,
Franklyn A. Turbak,
J. B. Wells,
Jeffrey Considine:
Program Representation Size in an Intermediate Language with Intersection and Union Types.
Types in Compilation 2000: 27-52 |
1999 |
5 | EE | A. J. Kfoury,
Harry G. Mairson,
Franklyn A. Turbak,
J. B. Wells:
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).
ICFP 1999: 90-101 |
1997 |
4 | | Allyn Dimock,
Robert Muller,
Franklyn A. Turbak,
J. B. Wells:
Strongly Typed Flow-Directed Representation Transformations.
ICFP 1997: 11-24 |
3 | | J. B. Wells,
Allyn Dimock,
Robert Muller,
Franklyn A. Turbak:
A Typed Intermediate Language for Flow-Directed Compilation.
TAPSOFT 1997: 757-771 |
1996 |
2 | | Franklyn A. Turbak:
First-Class Synchronization Barriers.
ICFP 1996: 157-168 |
1987 |
1 | | Thomas W. Malone,
Kenneth R. Grant,
Franklyn A. Turbak,
Stephen A. Brobst,
Michael D. Cohen:
Intelligent Information-Sharing Systems.
Commun. ACM 30(5): 390-402 (1987) |