search

dbohdan / compilers-targeting-c

A list of compilers that can generate C code
701 stars 48 forks source link

Ur/Web #12

Closed ezyang closed 8 years ago

ezyang commented 8 years ago

http://www.impredicative.com/ur/ Proof: http://adam.chlipala.net/papers/UrWebICFP15/