Louis Noizet and Alan Schmitt. Stating and Handling Semantics with Skel and Necro, January 2022. [ bib | http | .pdf ]

Sergueï Lenglet and Alan Schmitt. Howe's Method for Contextual Semantics, June 2015. [ bib | hal ]

Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation, September 2008. [ bib | tech report ]

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful Lenses for String Data, November 2007. [ bib ]

J. Nathan Foster, Benjamin C. Pierce, and Alan Schmitt. Harmony Programmer's Manual, 2006. [ bib | home page | .pdf ]

Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. The Xtatic Compiler and Runtime System, 2005. [ bib | source code ]

Benjamin C. Pierce, Alan Schmitt, and Michael B. Greenwald. Bringing Harmony to Optimism: A Synchronization Framework for Heterogeneous Tree-Structured Data, 2003. Superseded by MS-CIS-05-02. [ bib | tech report ]

Cédric Fournet, Fabrice Le Fessant, Luc Maranget, and Alan Schmitt. JoCaml: a Language for Concurrent Distributed and Mobile Programming. In Proceedings of the 4th Summer School on Advanced Functional Programming, Oxford, 19-24 August 2002, Lecture Notes in Computer Science, pages 129--158. Springer-Verlag, November 2002. [ bib | ps.gz ]