Repository logo Institutional repository
  • Communities & Collections
  • Browse
  • Site
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Devriese, Dminique"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results Per Page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    How to do proofs? Practically proving properties about effectful programs' results (functional pearl)

    Jacobs, Koen
    ;
    Nuyts, Andreas
    ;
    Devriese, Dminique
    Proceedings paper
    2019, TyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 23/08/2019, p.1-13

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings