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 × Austria
1 × Estonia
1 × France
1 × Germany
1 × Italy
3 × United Kingdom
7 × USA
Collaborated with:
J.Stefani M.Lienhardt I.Lanese B.C.Pierce J.A.Pérez D.Sangiorgi J.N.Foster M.Bodin P.Gardner S.Lenglet P.Genevès N.Layaïda V.Gapeyev M.Y.Levin C.Fournet F.L.Fessant L.Maranget T.P.Jensen C.A.Mezzina A.Bohannon A.Pilkiewicz D.Hirschkoff T.Hirschowitz D.Pous M.B.Greenwald J.T.Moore A.Charguéraud D.Filaretti S.Maffeis D.Naudziuniene G.Smith
Talks about:
higher (4) order (4) calculus (3) program (3) process (3) calculi (3) compon (3) distribut (2) communic (2) languag (2)

Person: Alan Schmitt

DBLP DBLP: Schmitt:Alan

Contributed to:

POPL 20142014
ESOP 20132013
BX 20112011
ICALP (2) 20102010
FOSSACS 20092009
GPCE 20082008
LICS 20082008
POPL 20082008
GPCE 20072007
PLDI 20072007
CC 20052005
GPCE 20052005
POPL 20052005
POPL 20032003
AFP 20022002
POPL 20192019

Wrote 16 papers:

POPL-2014-BodinCFGMNSS #specification
A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
ESOP-2013-LaneseLMSS #concurrent #flexibility
Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
BX-2011-Schmitt #higher-order #π-calculus
Reversible Higher Order π Calculus (AS), p. 63.
ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
FoSSaCS-2009-LengletSS #bisimulation #calculus
Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.
GPCE-2008-LienhardtSS #communication #component #type system
Typing communicating component assemblages (ML, AS, JBS), pp. 125–136.
LICS-2008-LanesePSS #calculus #decidability #higher-order #on the #process
On the Expressiveness and Decidability of Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 145–155.
POPL-2008-BohannonFPPS #lens #named #string
Boomerang: resourceful lenses for string data (AB, JNF, BCP, AP, AS), pp. 407–419.
GPCE-2007-LienhardtSS #component #kernel #named #programming
Oz/K: a kernel language for component-based open programming (ML, AS, JBS), pp. 43–52.
PLDI-2007-GenevesLS #performance #static analysis #xml
Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.
CC-2005-GapeyevLPS #runtime #xml
XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
GPCE-2005-HirschkoffHPSS #component #programming
Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
POPL-2005-FosterGMPS #approach #combinator #problem #program transformation
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
POPL-2003-SchmittS #calculus #distributed #higher-order #process
The m-calculus: a higher-order distributed process calculus (AS, JBS), pp. 50–61.
AFP-2002-FournetFMS02 #concurrent #distributed #mobile #named #programming
JoCaml: A Language for Concurrent Distributed and Mobile Programming (CF, FLF, LM, AS), pp. 129–158.
POPL-2019-BodinGJS #semantics
Skeletal semantics and their interpretations (MB, PG, TPJ, AS), p. 31.

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.