Showing 1 - 2 results of 2 for search 'Claessen, Koen Contributor', query time: 0.01s Refine Results
  1. 1
    Haskell'11 : proceedings of the 2011 ACM SIGPLAN Haskell Symposium, September 22, 2011, Tokyo, Japan
    by Claessen, Koen
    Published 2011
    Other Authors:
    eBook
  2. 2
    PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
    by Claessen, Koen
    Published 2012
    Other Authors:
    eBook

Search Tools: