
Registered user since Sun 20 May 2018
Name:John Wiegley
Contributions
Haskell 2017 | Using Coq to Write Fast and Correct Haskell | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile
Registered user since Sun 20 May 2018
Contributions
Haskell 2017 | Using Coq to Write Fast and Correct Haskell | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |