Registered user since Thu 7 Jan 2016
Name:Oleg Kiselyov
Personal website:http://okmij.org/ftp/
Contributions
| PEPM 2019 | Generating Mutually Recursive Definitions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile