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 × Brazil
1 × Croatia
1 × Cyprus
1 × Estonia
1 × Finland
1 × France
1 × Germany
1 × Italy
1 × Poland
2 × USA
Collaborated with:
P.Johann N.Ghani C.McBride A.Kennedy S.Lindley J.Yallop B.Jacobs F.N.Forsberg T.Revell S.Staton
Talks about:
parametr (4) type (4) semant (3) resourc (2) syntax (2) induct (2) separ (2) relat (2) model (2) polymorph (1)

Person: Robert Atkey

DBLP DBLP: Atkey:Robert

Contributed to:

TLCA 20152015
POPL 20142014
ICFP 20132013
POPL 20132013
CSL 20122012
FOSSACS 20122012
LICS 20122012
FOSSACS 20112011
ESOP 20102010
TLCA 20092009
ICALP 20042004
ESOP 20172017
Haskell 20092009

Wrote 14 papers:

TLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism
Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
POPL-2014-Atkey #parametricity #theorem
From parametricity to conservation laws, via Noether’s theorem (RA), pp. 491–502.
POPL-2014-AtkeyGJ #dependent type #parametricity #type system
A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.
ICFP-2013-AtkeyM #effectiveness #recursion
Productive coprogramming with guarded recursion (RA, CM), pp. 197–208.
POPL-2013-AtkeyJK #abstraction #algebra
Abstraction and invariance for algebraically indexed types (RA, PJ, AK), pp. 87–100.
CSL-2012-Atkey #parametricity #relational
Relational Parametricity for Higher Kinds (RA), pp. 46–61.
FoSSaCS-2012-AtkeyGJJ #induction
Fibrational Induction Meets Effects (RA, NG, BJ, PJ), pp. 42–57.
LICS-2012-Atkey #parsing #semantics
The Semantics of Parsing with Semantic Actions (RA), pp. 75–84.
FoSSaCS-2011-AtkeyJG #induction #question #refinement
When Is a Type Refinement an Inductive Type? (RA, PJ, NG), pp. 72–87.
ESOP-2010-Atkey #analysis #logic
Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.
TLCA-2009-Atkey #for free #parametricity #representation #syntax #using
Syntax for Free: Representing Syntax with Binding Using Parametricity (RA), pp. 35–49.
ICALP-2004-Atkey #λ-calculus
A λ-Calculus for Resource Separation (RA), pp. 158–170.
ESOP-2017-Atkey #communication #process #semantics
Observed Communication Semantics for Classical Processes (RA), pp. 56–82.
Haskell-2009-AtkeyLY #domain-specific language
Unembedding domain-specific languages (RA, SL, JY), pp. 37–48.

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.