Kiselyov - PDFSEARCH.IO - Document Search Engine

Kiselyov
Results: 51

#	Item
11	Lazy v. Yield Incremental, Linear Pretty-printing Oleg Kiselyov Simon Peyton-Jones Add to Reading List Source URL: okmij.org - Date: 2012-12-29 02:24:46
12	Mechanizing multilevel metatheory with control effects Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org - Date: 2010-07-21 23:49:58
13	Strongly Typed Heterogeneous Collections August 26, 2004 Oleg Kiselyov FNMOC, Monterey, CA ∗ Add to Reading List Source URL: okmij.org Language: English - Date: 2011-09-29 22:46:27
14	Extensible Effects An Alternative to Monad Transformers Oleg Kiselyov Amr Sabry Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-28 02:42:54
15	Lightweight Monadic Regions Oleg Kiselyov Chung-chieh Shan FNMOC Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-27 21:17:04
16	Number-parameterized types Oleg Kiselyov Fleet Numerical Meteorology and Oceanography Center, Monterey, CAAbstract. This paper describes practical programming with types parameterized Add to Reading List Source URL: okmij.org Language: English - Date: 2005-08-09 19:02:03
17	Extensible Effects An Alternative to Monad Transformers Oleg Kiselyov Amr Sabry Add to Reading List Source URL: okmij.org Language: English - Date: 2014-04-14 01:16:28
18	Typed Tagless Final Interpreters Oleg Kiselyov Abstract. The so-called ‘typed tagless final’ approach of Carette et al. [6] has collected and polished a number of techniques for representing Add to Reading List Source URL: okmij.org Language: English - Date: 2012-08-03 02:35:52
19	Implementing Explicit and Finding Implicit Sharing in Embedded DSLs Oleg Kiselyov Aliasing, or sharing, is prominent in many domains, denoting that two differently-named objects Add to Reading List Source URL: okmij.org Language: English - Date: 2011-09-05 21:31:54
20	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Functional un\|unparsing Kenichi Asai · Oleg Kiselyov · Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-02 01:44:44

UPDATE