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 × Austria
1 × Denmark
1 × France
1 × Japan
1 × Norway
1 × Portugal
1 × Sweden
1 × The Netherlands
2 × Spain
2 × United Kingdom
3 × USA
4 × Italy
Collaborated with:
M.Gabbay S.Lösch M.R.Shinwell M.R.Lakin E.Ritter R.L.Crole I.Orton C.Urban K.Y.Ahn T.Sheard M.P.Fiore
Talks about:
type (7) binder (4) abstract (3) program (3) syntax (3) semant (3) higher (3) relat (3) order (3) nomin (3)

Person: Andrew M. Pitts

DBLP DBLP: Pitts:Andrew_M=

Facilitated 3 volumes:

FoSSaCS 2015Ed
ICALP (1) 2012Ed
ICALP (2) 2012Ed

Contributed to:

LICS 20152015
POPL 20132013
TLCA 20132013
CSL 20112011
POPL 20102010
ESOP 20092009
ESOP 20072007
POPL 20072007
CSL 20032003
ICFP 20032003
ICALP 20022002
ICFP 20012001
LICS 19991999
ALP/PLILP 19981998
ICALP 19981998
LICS 19961996
TLCA 19951995
LICS 19901990
LICS 19891989
CSL 20162016

Wrote 20 papers:

LICS-2015-Pitts #symmetry
Names and Symmetry in Computer Science (AMP), pp. 21–22.
POPL-2013-LoschP #abstraction
Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
TLCA-2013-AhnSFP #system f
System F i (KYA, TS, MPF, AMP), pp. 15–30.
CSL-2011-LoschP #semantics
Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
Nominal system T (AMP), pp. 159–170.
ESOP-2009-LakinP #functional #higher-order #induction #programming
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.
ESOP-2007-Pitts #equivalence #higher-order
Techniques for Contextual Equivalence in Higher-Order, Typed Languages (AMP), p. 1.
POPL-2007-PittsS #generative
Generative unbinding of names (AMP, MRS), pp. 85–95.
Nominal Unificaiton (CU, AMP, MG), pp. 513–527.
ICFP-2003-ShinwellPG #named #programming
FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.
ICALP-2002-Pitts #semantics #syntax
Equivariant Syntax and Semantics (AMP), pp. 32–36.
ICFP-2001-Pitts #approach #functional #programming #representation #syntax
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
LICS-1999-GabbayP #approach #syntax
A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
ALP-PLILP-1998-Pitts #higher-order #semantics
Operational Versus Denotational Methods in the Semantics of Higher Order Languages (AMP), pp. 282–283.
ICALP-1998-Pitts #equivalence #logic
Existential Types: Logical Relations and Operational Equivalence (AMP), pp. 309–326.
LICS-1996-Pitts #logic #reasoning
Reasoning about Local Variables with Operationally-Based Logical Relations (AMP), pp. 152–163.
TLCA-1995-RitterP #ml #standard #λ-calculus
A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
LICS-1990-CroleP #fixpoint
New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.
LICS-1989-Pitts #polymorphism #type system
Non-trivial Power Types Can’t Be Subtypes of Polymorphic Types (AMP), pp. 6–13.
CSL-2016-OrtonP #axiom #modelling #type system
Axioms for Modelling Cubical Type Theory in a Topos (IO, AMP), p. 19.

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.