Concepedia

Oleg Kiselyov

OK

Statistics

Publications

38

Citations

1.6K

H-Index

22

Active since

1998

Affiliations

University of Tsukuba(Current)

Tohoku University

Rutgers, The State University of New Jersey

Rutgers Sexual and Reproductive Health and Rights

Monterey Technologies (United States)

Oleg Kiselyov is an author at University of Tsukuba specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningSoftware EngineeringComputer EngineeringSoftware Design

Publications per year

1998–2018

38

Publications

38

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan · Journal of Functional Programming · 2009 · 263 citations · Full text

Engineering, Type Theory, Interpreter (Computing) +24

Strongly typed heterogeneous collections

Oleg Kiselyov, Ralf Lämmel, Keean Schupke · 2004 · 181 citations

Haskell Library, Engineering, Data Type +12

Backtracking, interleaving, and terminating monad transformers

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman et al. · 2005 · 96 citations

Monadplus Interface, Engineering, Automated Reasoning +13

Freer monads, more extensible effects

Oleg Kiselyov, Hiromi Ishii · 2015 · 87 citations

Programming Language Theory, Rational Reconstruction, Engineering +14

Extensible effects

Oleg Kiselyov, Amr Sabry, Cameron Swords · 2013 · 82 citations

Programming Language Theory, Engineering, Effect Handler +13

1–5 of 38