
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