How to do proofs: practically proving properties about effectful programs' results (functional pearl) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koen Jacobs, Andreas Nuyts, Dominique Devriese. How to do proofs: practically proving properties about effectful programs' results (functional pearl). In David Darais, Jeremy Gibbons, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. pages 1-13, ACM, 2019. [doi]

This author has not been identified. Look up 'Koen Jacobs' in GoogleThis author has not been identified. Look up 'Andreas Nuyts' in GoogleThis author has not been identified. Look up 'Dominique Devriese' in Google

runs on WebDSL