conf.researchr.org / Oleg Kiselyov
Registered user since Thu 7 Jan 2016
Name: Oleg Kiselyov
Personal website: http://okmij.org/ftp/
All Activities
- Committee Member in Program Committee for OCaml 2016
- Author of Eff Directly in OCaml within the ML-track in ML 2016
- Author of Finally, Safely-Extensible and Efficient Language-Integrated Query within the PEPM-track in PEPM 2016
- Committee Member in Program Committee for Haskell 2018
- Author of Problems of the Lightweight Implementation of Probabilistic Programming within the PPS 2016-track in PPS 2016
- Committee Member in Program Committee for GPCE 2018
- Author of Metropolis-Hastings for mixtures of conditional distributions within the PPS-track in PPS 2017
- Author of T2: Extensible Effects: understanding them, implementing them, using them within the Tutorials-track in ICFP 2016
- Committee Member in Program Committee for Scala 2017
- Chair in Steering Committee for PEPM 2015
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them within the CUFP 2017-track in CUFP 2017
- Author of Parameterized Extensible Effects and Session Types within the TyDe-track in TyDe 2016
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) within the CUFP 2017-track in CUFP 2017
- Author of Staging beyond Terms: Prospects and Challenges within the PEPM-track in PEPM 2016
- Author of Invited posters within the PEPM 2017-track in PEPM 2017
- Author of Effects without monads: non-determinism within the ML 2017-track in ML 2017
- Panelist of Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? within the PPS 2016-track in PPS 2016
- Tutor of Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) within the CUFP 2017-track in CUFP 2017
- Committee Member in Program Committee for Scala 2016
- Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track in PEPM 2017
- Author of Higher-order Programming is an Effect within the HOPE 2017-track in HOPE 2017
- Committee Member in Program Committee for OCaml 2017
- Committee Member in Steering Committee for ML 2016
- Committee Member in Programme Committee for PEPM 2018
- Author of Stream Fusion, to Completeness within the POPL-track in POPL 2017