BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
2 × USA
Collaborated with:
T.Coquand M.Takeyama B.C.Pierce B.E.Aydemir A.Charguéraud S.Weirich A.A.d.Amorim N.Collins A.DeHon D.Demange C.Hritcu D.Pichardie A.Tolmach
Talks about:
architectur (1) metatheori (1) framework (1) verifi (1) record (1) inform (1) formal (1) depend (1) logic (1) engin (1)

Person: Randy Pollack

DBLP DBLP: Pollack:Randy

Contributed to:

POPL 20142014
POPL 20082008
TLCA 20032003

Wrote 3 papers:

POPL-2014-AmorimCDDHPPPT #architecture #data flow
A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
POPL-2008-AydemirCPPW
Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.
TLCA-2003-CoquandPT #framework #logic
A Logical Framework with Dependently Typed Records (TC, RP, MT), pp. 105–119.
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.