Travelled to:1 × France
1 × Germany
1 × The Netherlands
1 × USA
2 × Italy
Collaborated with:J.B.Wells A.Dimock T.Amtoft E.Machkasova ∅ R.Müller A.J.Kfoury H.G.Mairson R.Muller I.Westmacott
Talks about:type (5) flow (3) represent (2) function (2) direct (2) compil (2) transform (1) prescript (1) polymorph (1) intersect (1)
Person: Franklyn A. Turbak
DBLP: Turbak:Franklyn_A=
Contributed to:
2001
2001
2000199919971996
1997Wrote 8 papers:
- ICFP-2001-DimockWMTW #ml #standard #type safety
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
- PPDP-2001-TurbakW
- Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees (FAT, JBW), pp. 137–149.
- ESOP-2000-AmtoftT #polymorphism
- Faithful Translations between Polyvariant Flows and Polymorphic Types (TA, FAT), pp. 26–40.
- ESOP-2000-MachkasovaT #calculus #compilation
- A Calculus for Link-Time Compilation (EM, FAT), pp. 260–274.
- ICFP-1999-KfouryMTW #type system
- Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (AJK, HGM, FAT, JBW), pp. 90–101.
- ICFP-1997-DimockMTW #representation
- Strongly Typed Flow-Directed Representation Transformations (AD, RM, FAT, JBW), pp. 11–24.
- ICFP-1996-Turbak
- First-Class Synchronization Barriers (FAT), pp. 157–168.
- TAPSOFT-1997-WellsDMT #compilation
- A Typed Intermediate Language for Flow-Directed Compilation (JBW, AD, RM, FAT), pp. 757–771.