Affiliated Meetings
Second Workshop on Haskell And Rewriting Techniques (HART 2014)
PEPM 2010 is co-located with the following events:
- DAMP 2010: Workshop on Declarative Aspects of Multicore Programming
- PADL 2010: Symposium on Practical Aspects of Declarative Languages
- PLPV 2010: Workshop on Programming Languages meets Program Verification
- POPL 2010: Symposium on Principles of Programming Languages
- TLDI 2010: Workshop on Types in Language Design and Implementation
- VMCAI 2010: Conference on Verification, Model Checking, and Abstract Interpretation
- WFLP 2010: Workshop on Functional and (Constraint) Logic Programming