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 × Canada
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
F.A.Turbak J.B.Wells R.Müller B.Salzberg R.Muller I.Westmacott K.B.Bruce J.Crabtree T.P.Murtagh R.v.Gent
Talks about:
type (4) represent (2) function (2) languag (2) direct (2) safe (2) flow (2) transform (1) intermedi (1) transact (1)

Person: Allyn Dimock

DBLP DBLP: Dimock:Allyn

Contributed to:

ICFP 20012001
ICFP 19971997
OOPSLA 19931993
VLDB 19921992

Wrote 5 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.
ICFP-1997-DimockMTW #representation
Strongly Typed Flow-Directed Representation Transformations (AD, RM, FAT, JBW), pp. 11–24.
OOPSLA-1993-BruceCMGDM #decidability #object-oriented #type checking
Safe and Decidable Type Checking in an Object-Oriented Language (KBB, JC, TPM, RvG, AD, RM), pp. 29–46.
VLDB-1992-SalzbergD #online #transaction
Principles of Transaction-Based On-Line Reorganization (BS, AD), pp. 511–520.
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.