Franklyn A. Turbak - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

2002

A calculus with polymorphic and polyvariant flow typesJ. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak. JFP, 12(3):183-227, 2002.

2001

Functioning without Closure: Type-Safe Customized Function Representations for Standard MLAllyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells. ICFP 2001: 14-25

Cycle Therapy: A Prescription for Fold and Unfold on Regular TreesFranklyn A. Turbak, J. B. Wells. ppdp 2001: 137-149

2000

Faithful Translations between Polyvariant Flows and Polymorphic TypesTorben Amtoft, Franklyn A. Turbak. ESOP 2000: 26-40 [doi]

Program Representation Size in an Intermediate Language with Intersection and Union TypesAllyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine. tic 2001: 27-52 [doi]

A Calculus for Link-Time CompilationElena Machkasova, Franklyn A. Turbak. ESOP 2000: 260-274 [doi]

1999

Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells. ICFP 1999: 90-101 [doi]

1997

Strongly Typed Flow-Directed Representation TransformationsAllyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells. ICFP 1997: 11-24

A Typed Intermediate Language for Flow-Directed CompilationJ. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak. tapsoft 1997: 757-771

1996

First-Class Synchronization BarriersFranklyn A. Turbak. ICFP 1996: 157-168

1987

Intelligent Information-Sharing SystemsThomas W. Malone, Kenneth R. Grant, Franklyn A. Turbak, Stephen A. Brobst, Michael D. Cohen. CACM, 30(5):390-402, 1987.