Oleg Kiselyov

According to our database1, Oleg Kiselyov authored at least 95 papers between 1994 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
let (rec) insertion without Effects, Lights or Magic.
CoRR, 2022

Generating C - System Description.
Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021
Not by equations alone: Reasoning with extensible effects.
J. Funct. Program., 2021

2020
Many more predecessors: A representation workout.
J. Funct. Program., 2020

Polynomial Event Semantics: Negation - Negation.
Proceedings of the New Frontiers in Artificial Intelligence, 2020

Session Types Without Sophistry - System Description.
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).
NII Shonan Meet. Rep., 2019

Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).
NII Shonan Meet. Rep., 2019

Generating mutually recursive definitions.
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Lambek Grammars as Second-Order Abstract Categorial Grammars.
Proceedings of the New Frontiers in Artificial Intelligence, 2019

2018
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).
NII Shonan Meet. Rep., 2018

Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14).
NII Shonan Meet. Rep., 2018

Preface: Functional and Logic Programming (FLOPS 2016).
Sci. Comput. Program., 2018

Reconciling Abstraction with High Performance: A MetaOCaml approach.
Found. Trends Program. Lang., 2018

Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers.
Proceedings of the New Frontiers in Artificial Intelligence, 2018

\lambda λ to SKI, Semantically - Declarative Pearl.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017
Effects Without Monads: Non-determinism - Back to the Meta Language.
Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

Stream fusion, to completeness.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Language-integrated query with ordering, grouping and outer joins (poster paper).
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Transformational Semantics on a Tree Bank.
Proceedings of the New Frontiers in Artificial Intelligence, 2017

Sound and Efficient Language-Integrated Query - Maintaining the ORDER.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
Eff Directly in OCaml.
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

Finally, safely-extensible and efficient language-integrated query.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Staging beyond terms: prospects and challenges.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Non-canonical Coordination in the Transformational Approach.
Proceedings of the New Frontiers in Artificial Intelligence, 2016

Parameterized extensible effects and session types (extended abstract).
Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

Probabilistic Programming Language and its Incremental Evaluation.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Combinators for impure yet hygienic code generation.
Sci. Comput. Program., 2015

Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.
Proceedings of the Workshop on Continuations, 2015

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.
Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015

Applicative Abstract Categorial Grammars in Full Swing.
Proceedings of the New Frontiers in Artificial Intelligence, 2015

Applicative Abstract Categorial Grammar.
Proceedings of the Third Workshop on Natural Language and Computer Science, 2015

Freer monads, more extensible effects.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).
NII Shonan Meet. Rep., 2014

Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account.
Proceedings of the New Frontiers in Artificial Intelligence, 2014

Reflection without remorse: revealing a hidden sequence to speed up monadic reflection.
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

The Design and Implementation of BER MetaOCaml - System Description.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013
Shonan challenge for generative programming: short position paper.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Extensible effects: an alternative to monad transformers.
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

2012
Delimited control in OCaml, abstractly and concretely.
Theor. Comput. Sci., 2012

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
NII Shonan Meet. Rep., 2012

Editorial PEPM2012.
High. Order Symb. Comput., 2012

Iteratees.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Lazy v. Yield: Incremental, Linear Pretty-Printing.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.
Sci. Comput. Program., 2011

Functional un|unparsing.
High. Order Symb. Comput., 2011

Shifting the stage - Staging with delimited control.
J. Funct. Program., 2011

Purely functional lazy nondeterministic programming.
J. Funct. Program., 2011

Implementing Explicit and Finding Implicit Sharing in Embedded DSLs
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

2010
Typed Tagless Final Interpreters.
Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Delimited Control in OCaml, Abstractly and Concretely: System Description.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

Fun with Type Functions.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
J. Funct. Program., 2009

Monolingual Probabilistic Programming Using Generalized Coroutines.
Proceedings of the UAI 2009, 2009

Purely functional lazy non-deterministic programming.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Embedded Probabilistic Programming.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008
Closing the stage: from staged code to typed closures.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Comparing libraries for generic programming in haskell.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Lightweight monadic regions.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007
Lightweight Static Capabilities.
Electron. Notes Theor. Comput. Sci., 2007

A Substructural Type System for Delimited Continuations.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Delimited Continuations in Operating Systems.
Proceedings of the Modeling and Using Context, 2007

Finally Tagless, Partially Evaluated.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
In search of a program generator to implement generic transformations for high-performance computing.
Sci. Comput. Program., 2006

A monadic approach for avoiding code duplication when staging memoized functions.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Delimited dynamic binding.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Soutei, a Logic-Based Trust-Management System.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Implementing Metcast in Scheme.
High. Order Symb. Comput., 2005

Haskell's overlooked object system
CoRR, 2005

Backtracking, interleaving, and terminating monad transformers: (functional pearl).
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

The reasoned schemer.
MIT Press, ISBN: 978-0-262-56214-0, 2005

2004
Relating FFTW and Split-Radix.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

Functional pearl: implicit configurations-or, type classes reflect the values of types.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Strongly typed heterogeneous collections.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

A methodology for generating verified combinatorial circuits.
Proceedings of the EMSOFT 2004, 2004

2003
Subclassing errors, OOP, and practically checkable rules to prevent them
CoRR, 2003

SXSLT: Manipulation Language for XML.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002
SXML specification.
ACM SIGPLAN Notices, 2002

A Better XML Parser through Functional Programming.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Macros That Compose: Systematic Macro Programming.
Proceedings of the Generative Programming and Component Engineering, 2002

2001
Secure Counting: counting members of a subset without revealing their identities
CoRR, 2001

Type Arithmetics: Computation based on the theory of types
CoRR, 2001

2000
Why C++ is not very fit for GUI programming
CoRR, 2000

A network file system over HTTP: remote access and modification of files and "files"
CoRR, 2000

Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification
CoRR, 2000

1999
Comment on "On the Application of a Popular Notation to Semantics" and reply from the Autor.
ACM SIGPLAN Notices, 1999

A network file system over HTTP: remote access and modification of files and <i>files</i>.
Proceedings of the FREENIX Track: 1999 USENIX Annual Technical Conference, 1999

1998
A Lazy CGI Namespace in Scheme.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

LAND*: an AND with local bindings, a <i>guarded</i> LET* special form.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996
Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification.
Proceedings of the 6th Data Compression Conference (DCC '96), Snowbird, Utah, USA, March 31, 1996

1994
Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures.
Proceedings of the IEEE Data Compression Conference, 1994


  Loading...