PLPV '14- Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Full Citation in the ACM Digital Library

SESSION: Session order 1: invited talk

Programming languages for high-assurance autonomous vehicles: extended abstract

SESSION: Session order 2: contributed talks

The recursive polarized dual calculus

Substructural typestates

SESSION: Session order 3: invited talk

Refinement types for Haskell

SESSION: Session order 4: contributed talks

Verified programs with binders

Formalizing a correctness property of a type-directed partial evaluator

SESSION: Session order 5: contributed talks

An abstract categorical semantics for functional reactive programming with processes