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: Schmitt:Alan
Contributed to:
2014
2013
2011
2010
2009
2008
200820082007
2007
2005200520052003
20022019Wrote 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.