PLPV

Publications

2014

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV (2014)
Wolfgang Jeltsch
An abstract categorical semantics for functional reactive programming with processes. PLPV (2014)
Ranjit Jhala
Refinement types for Haskell. PLPV (2014)
Aaron Stump
The recursive polarized dual calculus. PLPV (2014)
Martin Clochard, Claude Marché, Andrei Paskevich
Verified programs with binders. PLPV (2014)
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14 PLPV (2014)
Noriko Hirota, Kenichi Asai
Formalizing a correctness property of a type-directed partial evaluator. PLPV (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Substructural typestates. PLPV (2014)

2013

2012

2011

2010