Registered user since Thu 7 Jan 2016

Name: Oleg Kiselyov

Personal website: http://okmij.org/ftp/

POPL 2017 Activities

• Author of Metropolis-Hastings for mixtures of conditional distributions within the PPS-track in PPS 2017
• Author of Invited posters within the PEPM 2017-track in PEPM 2017
• Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track in PEPM 2017
• Author of Stream Fusion, to Completeness within the POPL-track in POPL 2017
• Show activities from other conferences