dblp.uni-trier.dewww.uni-trier.de

Franklyn A. Turbak Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
13EEMark A. Sheldon, Franklyn A. Turbak: An aspect-oriented approach to the undergraduate programming language curriculum. SIGPLAN Notices 43(11): 124-129 (2008)
12EEEric 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 A. 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
8EETorben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40
7EEElena Machkasova, Franklyn A. Turbak: A Calculus for Link-Time Compilation. ESOP 2000: 260-274
6EEAllyn 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
5EEA. 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
3EEJ. 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)

Coauthor Index

1Eric Allen [12]
2Torben Amtoft (Torben Amtoft Hansen) [8]
3Mark W. Bailey [12]
4Rastislav Bodík [12]
5Stephen A. Brobst [1]
6Kim B. Bruce [12]
7Michael D. Cohen [1]
8Jeffrey Considine [6]
9Allyn Dimock [3] [4] [6] [10] [11]
10Kathleen Fisher [12]
11Stephen N. Freund [12]
12Kenneth R. Grant [1]
13Robert Harper [12]
14Assaf J. Kfoury (A. J. Kfoury) [5]
15Chandra Krintz [12]
16Shriram Krishnamurthi [12]
17James R. Larus [12]
18Doug Lea [12]
19Gary T. Leavens [12]
20Elena Machkasova [7]
21Harry G. Mairson [5]
22Thomas W. Malone [1]
23Robert Muller [3] [4] [6] [10] [11]
24Lori L. Pollock [12]
25Stuart Reges [12]
26Martin C. Rinard [12]
27Mark A. Sheldon [12] [13]
28Mitchell Wand [12]
29J. B. Wells [3] [4] [5] [6] [9] [10] [11]
30Ian Westmacott [6] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)