Oleg Kiselyov

Available identifiers

zbMath Open kiselyov.olegMaRDI QIDQ428888

List of research outcomes

Publication	Date of Publication	Type
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
Refined Environment Classifiers	2016-12-21	Paper
Probabilistic Programming Language and its Incremental Evaluation	2016-12-21	Paper
Delimited dynamic binding	2015-08-03	Paper
Backtracking, interleaving, and terminating monad transformers	2015-01-06	Paper
Purely functional lazy non-deterministic programming	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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oleg Kiselyov