default search action

combined dblp search
author search
venue search
publication search

ask others

PLPV 2009: Savannah, GA, USA

> Home > Conferences and Workshops > PLPV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/plpv/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/2009
Thorsten Altenkirch, Todd D. Millstein:
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. ACM 2009, ISBN 978-1-60558-330-3
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Fahndrich09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Fahndrich09
Manuel Fähndrich:
Language-agnostic specification and verification: invited talk. 1-2

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/LicataH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/LicataH09
Daniel R. Licata, Robert Harper:
Positively dependent types. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/Zeilberger09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/Zeilberger09
Noam Zeilberger:
Refinement types and computational duality. 15-26
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/KnowlesF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/KnowlesF09
Kenneth L. Knowles, Cormac Flanagan:
Compositional reasoning and decidable checking for dependent contract types. 27-38

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/SchrijversGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/SchrijversGM09
Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier:
Type invariants for Haskell. 39-48
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/StumpDPSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/StumpDPSS09
Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson:
Verified programming in Guru. 49-58
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/BoveDS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/BoveDS09
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez:
Embedding a logical theory of constructions in Agda. 59-66

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/plpv/SchaferEM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/SchaferEM09
Max Schäfer, Torbjörn Ekman, Oege de Moor:
Challenge proposal: verification of refactorings. 67-72
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/ErkokM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/ErkokM09
Levent Erkök, John Matthews:
Pragmatic equivalence and safety checking in Cryptol. 73-82

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.