Oleg Kiselyov

Available identifiers

zbMath Open kiselyov.olegMaRDI QIDQ428888

List of research outcomes

Publication	Date of Publication	Type
Towards a theory of anaphoric binding in event semantics	2024-11-12	Paper
Events and relative clauses	2024-06-21	Paper
Generating C. System description	2022-08-10	Paper
Not by equations alone: Reasoning with extensible effects	2021-12-22	Paper
Session types without sophistry. System description	2021-07-06	Paper
Many more predecessors: A representation workout	2020-05-26	Paper
\(\lambda\) to SKI, semantically -- declarative pearl	2018-07-09	Paper
Stream fusion, to completeness	2017-10-20	Paper
Probabilistic Programming Language and its Incremental Evaluation	2016-12-21	Paper
Refined Environment Classifiers	2016-12-21	Paper
Delimited dynamic binding	2015-08-03	Paper
Purely functional lazy non-deterministic programming	2015-01-06	Paper
Backtracking, interleaving, and terminating monad transformers	2015-01-06	Paper
Lightweight static capabilities	2013-12-13	Paper
Purely functional lazy nondeterministic programming	2013-04-24	Paper
Functional un\(|\)unparsing	2013-01-08	Paper
Typed Tagless Final Interpreters	2012-11-21	Paper
Shifting the stage. Staging with delimited control	2012-09-21	Paper
Delimited control in OCaml, abstractly and concretely	2012-06-25	Paper
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code	2011-05-04	Paper
Fun with Type Functions	2010-10-26	Paper
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages	2009-11-13	Paper
A Substructural Type System for Delimited Continuations	2009-03-10	Paper
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)	2008-04-11	Paper
In search of a program generator to implement generic transformations for high-performance computing	2006-10-05	Paper
Implementing metcast in Scheme	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4440335	2003-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4415111	2003-07-28	Paper

Research outcomes over time

This page was built for person: Oleg Kiselyov