Defunctionalization - PDFSEARCH.IO - Document Search Engine

Defunctionalization
Results: 9

#	Item
1	Computer Science and Information Systems 11(4):1417–1434 DOI: CSIS130923030F Modular Polymorphic Defunctionalization Georgios Fourtounis, Nikolaos S. Papaspyrou, and Panagiotis Theofilopoulos Add to Reading List Source URL: www.doiserbia.nb.rs - Date: 2014-11-28 04:29:01
2	On Interaction, Continuations and Defunctionalization? Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Germany Abstract. In game semantics and related approaches to programming lang Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2013-12-29 05:47:05
3	Haskell With Go Faster Stripes Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Functional programming Programming language comparisons Functional languages Programming paradigms Map Haskell Pattern matching Parameter ELI Haskell features Defunctionalization
4	An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy BRICS ∗ Department of Computer Science University of Aarhus † Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:19 Computer programming Continuations Programming language semantics Delimited continuation C2 Update Operational semantics Defunctionalization APT Software engineering Computing Control flow
5	Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2004-05-28 07:25:30 Logic in computer science Lambda calculus Models of computation Type theory Symbol Type system Valuation Combinatory logic Normalisation by evaluation Theoretical computer science Mathematics Applied mathematics
6	On Evaluation Contexts, Continuations, and the Rest of the Computation Olivier Danvy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:11 Control flow Continuations Functional programming Type theory Functional languages Eval Standard ML Defunctionalization Delimited continuation Software engineering Computing Computer programming
7	Defunctionalization at Work £ ÇÐ Ú Add to Reading List Source URL: www.daimi.au.dk Language: Danish - Date: 2006-03-13 02:10:02
8	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-04 11:06:26 Subroutines Functional programming Data types Type theory Models of computation Defunctionalization Closure Continuation-passing style Type system Software engineering Computing Computer programming
9	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-26 18:06:16 Subroutines Control flow Defunctionalization Models of computation Type theory Formal methods Function Type system Eval Software engineering Computing Computer programming

UPDATE