Olivier Danvy - PDFSEARCH.IO - Document Search Engine

Olivier Danvy
Results: 25

#	Item
1	Peter J. Landin (1930–2009) Olivier Danvy Department of Computer Science, Aarhus University Aabogade 34, DK-8200 Aarhus N, Denmark Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:33
2	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35
3	Pragmatics of Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University ? http://www.brics.dk/~danvy Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:04:37
4	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
5	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
6	` Synthese Olivier Danvy Department of Computer Science Aarhus University Add to Reading List Source URL: jfla.inria.fr Language: French - Date: 2014-01-10 04:57:17
7	From Reduction-based to Reduction-free Normalization Olivier Danvy Department of Computer Science, Aarhus University∗ May 2009 Add to Reading List Source URL: jfla.inria.fr Language: English - Date: 2014-01-09 03:39:03
8	From Calculus to Computation, Part I Olivier Danvy Department of Computer Science Aarhus University Add to Reading List Source URL: jfla.inria.fr Language: English - Date: 2014-01-08 11:01:52
9	A Synthetic Operational Account of Call-by-Need Evaluation Olivier Danvy Ian Zerny ∗ Department of Computer Science, Aarhus University Add to Reading List Source URL: jfla.inria.fr Language: English - Date: 2014-01-09 03:39:15
10	Typeful Normalization by Evaluation Olivier Danvy, Chantal Keller, and Matthias Puech {danvy,ckeller,mpuech}@cs.au.dk Department of Computer Science, Aarhus University, Denmark Abstract We present the first typeful impl Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-02-15 09:55:01

UPDATE