200908?? | IFL'09 | NJ, USA | 20090923-25 | The International Symposia on Implementation and Application of Functional Languages |
20090708 | POPL'10 | Spain | 201001?? | Principles of Programming Languages |
20090703 | SLE'09 | Denver, Colorado | 20091005-6 | 2nd International Conference on Software Language Engineering |
20090510 | WGP'09 | Edinburgh | 20090830 | Workshop on Generic Programming |
20090508 | Haskell'09 | Edinburgh | 20090903 | Haskell Symposium |
20090415 | VR'09 | - | - | Swedish Research Council Grant Application Deadline |
20090315 | TFP'09 | Slovakia | 20090602-04 | Symposium on Trends in Functional Programming |
20090302 | ICFP'09 | Edinburgh | 20090831-20090902 | ACM SIGPLAN International Conference on Functional Programming |
20090215 | TAP'09 | Zurich | 20090702-20090703 | TAP: Tests And Proofs 2009 |
20080119 | TLCA'09 | Brasilia | 20090701-03 | Typed Lambda Calculi and Applications (TLCA '09) |
20081214 | DSLWC | Oxford | 20090715-17 | IFIP Working Conference on Domain Specific Languages |
20081201 | DSL&M | - | | IEEE Software Special Issue on Domain-Specific Languages & Modeling |
20081015 | TYPES 2008 | | | Post-Proceedings of TYPES 2008 |
20081008 | PLPV'09 | Savannah, Georgia, USA | 20090120 | Programming Languages meets Program Verification |
20080708 | POPL'09 | Savannah, Georgia, USA | 20080121-23 | Principles of Programming Languages |
20080630 | WGP'08 | Victoria, BC, Canada | 20080920 | Workshop on Generic Programming |
20080623 | Haskell'08 | Victoria, BC, Canada | 20080925 | Haskell Symopsium (was Haskell Workshop) |
20080415 | VR'08 | - | - | Vetenskaprådets årliga utlysning |
20080411 | MSFP'08 | Reykjavik | 20080706 | Mathematically Structured Functional Programming |
20080402 | ICFP'08 | Victoria, BC, Canada | 20080922-24 | Int. Conf. on Functional Programming |
20080210 | ICALP'08 | Reykjavik | 20080706-13 | Int. Coll. on Automata, Languages and Programming |
20080127 | MPC'08 | Marseille | 20080715-18 | Mathematics of Program Construction |