BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Turbak:Franklyn_A=

Contributed to:

ICFP 20012001
PPDP 20012001
ESOP 20002000
ICFP 19991999
ICFP 19971997
ICFP 19961996

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.