Published June 26, 2019 | Version v1.0
Software Open

wouter-swierstra/predicate-transformers: ICFP Code

Authors/Creators

  • 1. Universiteit Utrecht

Description

This release contains the code automatically extracted from our 2019 ICFP paper.

Files

wouter-swierstra/predicate-transformers-v1.0.zip

Files (15.3 kB)

Name Size Download all
md5:0069ba2838097734d8a20e1e62ed4c50
15.3 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/wouter-swierstra/predicate-transformers/tree/v1.0 (URL)