conf.researchr.org / Oleg Kiselyov
Oleg Kiselyov

Registered user since Thu 7 Jan 2016

Name: Oleg Kiselyov

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

Contributions

OCaml 2020Committee Member in Program Committee within the OCaml 2020-track
Scala 2020Committee Member in Program Committee within the Scala-track
PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
ML 2019Author of let (rec) insertion without effects, lights or magic within the ML 2019-track
DBPL 2019Committee Member in Program Committee within the DBPL 2019-track
VPT 2019Committee Member in Program Committee within the VPT 2019 -track
PEPM 2019Author of Generating Mutually Recursive Definitions within the PEPM 2019-track
ML 2018Author of Generating Mutually Recursive Definitions within the ML 2018-track
Haskell 2018Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019Committee Member in External Review Committee within the Research Papers-track
GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
PEPM 2018Committee Member in Programme Committee within the PEPM 2018-track
ML 2017Author of Effects without monads: non-determinism within the ML 2017-track
CUFP 2017Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them within the CUFP 2017-track
Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) within the CUFP 2017-track
Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) within the CUFP 2017-track
OCaml 2017Committee Member in Program Committee within the OCaml 2017-track
HOPE 2017Author of Higher-order Programming is an Effect within the HOPE 2017-track
Scala 2017Committee Member in Program Committee within the Scala 2017-track
PPS 2017Author of Metropolis-Hastings for mixtures of conditional distributions within the PPS-track
PEPM 2017Author of Invited posters within the PEPM 2017-track
Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track
Scala 2016Committee Member in Program Committee within the Scala-track
ML 2016Author of Eff Directly in OCaml within the ML-track
Committee Member in Steering Committee within the ML-track
OCaml 2016Committee Member in Program Committee within the OCaml-track
TyDe 2016Author of Parameterized Extensible Effects and Session Types within the TyDe-track
POPL 2017Author of Stream Fusion, to Completeness within the POPL-track
PPS 2016Author of Problems of the Lightweight Implementation of Probabilistic Programming within the PPS 2016-track
Panelist of Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? within the PPS 2016-track
ICFP 2016Author of T2: Extensible Effects: understanding them, implementing them, using them within the Tutorials-track
PEPM 2016Author of Finally, Safely-Extensible and Efficient Language-Integrated Query within the PEPM-track
Author of Staging beyond Terms: Prospects and Challenges within the PEPM-track
PEPM 2015Chair in Steering Committee within the PEPM 2015-track