
Registered user since Sat 23 Jan 2016
Contributions
Haskell 2018 | Ghosts of Departed Proofs (Functional Pearl) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2018-profile
View general profile
View general profile
Registered user since Sat 23 Jan 2016
Contributions
Haskell 2018 | Ghosts of Departed Proofs (Functional Pearl) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |