|
Search the dblp DataBase
Franklyn A. Turbak:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas W. Malone, Kenneth R. Grant, Franklyn A. Turbak, Stephen A. Brobst, Michael D. Cohen
Intelligent Information-Sharing Systems. [Citation Graph (6, 0)][DBLP] Commun. ACM, 1987, v:30, n:5, pp:390-402 [Journal]
- Torben Amtoft, Franklyn A. Turbak
Faithful Translations between Polyvariant Flows and Polymorphic Types. [Citation Graph (0, 0)][DBLP] ESOP, 2000, pp:26-40 [Conf]
- Elena Machkasova, Franklyn A. Turbak
A Calculus for Link-Time Compilation. [Citation Graph (0, 0)][DBLP] ESOP, 2000, pp:260-274 [Conf]
- Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
Strongly Typed Flow-Directed Representation Transformations. [Citation Graph (0, 0)][DBLP] ICFP, 1997, pp:11-24 [Conf]
- Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. [Citation Graph (0, 0)][DBLP] ICFP, 2001, pp:14-25 [Conf]
- A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP] ICFP, 1999, pp:90-101 [Conf]
- Franklyn A. Turbak
First-Class Synchronization Barriers. [Citation Graph (0, 0)][DBLP] ICFP, 1996, pp:157-168 [Conf]
- Franklyn A. Turbak, J. B. Wells
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. [Citation Graph (0, 0)][DBLP] PPDP, 2001, pp:137-149 [Conf]
- J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A Typed Intermediate Language for Flow-Directed Compilation. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:757-771 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Types in Compilation, 2000, pp:27-52 [Conf]
- J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
A calculus with polymorphic and polyvariant flow types. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2002, v:12, n:3, pp:183-227 [Journal]
Search in 0.001secs, Finished in 0.002secs
|