Search results for "Oleg Kiselyov"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Oleg Kiselyov, Simon Thompson (eds.)	Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012	PEPM	2012	DBLP BibTeX RDF
1	Oleg Kiselyov	Iteratees.	FLOPS	2012	DBLP DOI BibTeX RDF
1	Jacques Carette, Oleg Kiselyov	Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Implementing Explicit and Finding Implicit Sharing in Embedded DSLs	DSL	2011	DBLP DOI BibTeX RDF
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage - Staging with delimited control.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
1	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy nondeterministic programming.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Delimited Control in OCaml, Abstractly and Concretely: System Description.	FLOPS	2010	DBLP DOI BibTeX RDF
1	Jacques Carette, Oleg Kiselyov, Chung-chieh Shan	Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
1	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
1	Oleg Kiselyov, Chung-chieh Shan	Monolingual Probabilistic Programming Using Generalized Coroutines.	UAI	2009	DBLP BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan	Embedded Probabilistic Programming.	DSL	2009	DBLP DOI BibTeX RDF
1	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
1	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
1	Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira	Comparing libraries for generic programming in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	libraries comparison, datatype-generic programming
1	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
1	Oleg Kiselyov, Chung-chieh Shan	Lightweight Static Capabilities.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan	A Substructural Type System for Delimited Continuations.	TLCA	2007	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan	Delimited Continuations in Operating Systems.	CONTEXT	2007	DBLP DOI BibTeX RDF
1	Jacques Carette, Oleg Kiselyov, Chung-chieh Shan	Finally Tagless, Partially Evaluated.	APLAS	2007	DBLP DOI BibTeX RDF
1	Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua	In search of a program generator to implement generic transformations for high-performance computing.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
1	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
1	Andrew Pimlott, Oleg Kiselyov	Soutei, a Logic-Based Trust-Management System.	FLOPS	2006	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Ralf Laemmel	Haskell's overlooked object system	CoRR	2005	DBLP BibTeX RDF
1	Oleg Kiselyov	Implementing Metcast in Scheme.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	applications and experience with symbolic computing, weather observations, WMO, SXML, XML, Scheme, application server
1	Daniel P. Friedman, William E. Byrd, Oleg Kiselyov	The reasoned schemer.		2005	RDF
1	Jacques Carette, Oleg Kiselyov	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.	GPCE	2005	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
1	Oleg Kiselyov, Kedar N. Swadi, Walid Taha	A methodology for generating verified combinatorial circuits.	EMSOFT	2004	DBLP DOI BibTeX RDF	abstract interpretation, multi-stage programming
1	Oleg Kiselyov, Walid Taha	Relating FFTW and Split-Radix.	ICESS	2004	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Subclassing errors, OOP, and practically checkable rules to prevent them	CoRR	2003	DBLP BibTeX RDF
1	Oleg Kiselyov, Shriram Krishnamurthi	SXSLT: Manipulation Language for XML.	PADL	2003	DBLP DOI BibTeX RDF	SXML, XML, Scheme, XSLT, tree traversal
1	Oleg Kiselyov	SXML specification.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	SXML, XML infoset, XML namespaces, XML, scheme, AST, XML parsing
1	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	2002	DBLP DOI BibTeX RDF	tree fold, Haskell, Scheme, traversal, XML parsing
1	Oleg Kiselyov	Macros That Compose: Systematic Macro Programming.	GPCE	2002	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Type Arithmetics: Computation based on the theory of types	CoRR	2001	DBLP BibTeX RDF
1	Oleg Kiselyov	Secure Counting: counting members of a subset without revealing their identities	CoRR	2001	DBLP BibTeX RDF
1	Oleg Kiselyov, Paul Fisher	Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification	CoRR	2000	DBLP BibTeX RDF
1	Oleg Kiselyov	A network file system over HTTP: remote access and modification of files and "files"	CoRR	2000	DBLP BibTeX RDF
1	Oleg Kiselyov	Why C++ is not very fit for GUI programming	CoRR	2000	DBLP BibTeX RDF
1	Oleg Kiselyov, Richard J. Botting	Comment on ``On the Application of a Popular Notation to Semantics'' and reply from the Autor.	SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	A network file system over HTTP: remote access and modification of files and files.	USENIX Annual Technical Conference, FREENIX Track	1999	DBLP BibTeX RDF
1	Oleg Kiselyov	LAND: an AND with local bindings, a guarded LET special form.	ICFP	1998	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.	ICFP	1998	DBLP DOI BibTeX RDF	C++
1	Oleg Kiselyov	A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.	ICFP	1998	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	A Lazy CGI Namespace in Scheme.	ICFP	1998	DBLP DOI BibTeX RDF	SCHEME
1	Oleg Kiselyov, Paul Fisher	Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification.	Data Compression Conference	1996	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Paul Fisher	Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures.	Data Compression Conference	1994	DBLP DOI BibTeX RDF

Publications of "Oleg Kiselyov" ( http://dblp.L3S.de/Authors/Oleg_Kiselyov )