Computer Science and Information Systems 11(4):1417–1434 DOI: CSIS130923030F Modular Polymorphic Defunctionalization Georgios Fourtounis, Nikolaos S. Papaspyrou, and Panagiotis Theofilopoulos

Source URL: www.doiserbia.nb.rs

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

Source URL: www2.tcs.ifi.lmu.de

Haskell With Go Faster Stripes

Source URL: community.haskell.org

• Higher-order functions
• Functional programming
• Programming language comparisons
• Functional languages
• Programming paradigms
• Map
• Haskell
• Pattern matching
• Parameter
• ELI
• Haskell features
• Defunctionalization

An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy BRICS ∗ Department of Computer Science University of Aarhus †

Source URL: www.cs.bham.ac.uk

• Computer programming
• Continuations
• Programming language semantics
• Delimited continuation
• C2
• Update
• Operational semantics
• Defunctionalization
• APT
• Software engineering
• Computing
• Control flow

Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims

Source URL: pauillac.inria.fr

• 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

On Evaluation Contexts, Continuations, and the Rest of the Computation Olivier Danvy

Source URL: www.cs.bham.ac.uk

• Control flow
• Continuations
• Functional programming
• Type theory
• Functional languages
• Eval
• Standard ML
• Defunctionalization
• Delimited continuation
• Software engineering
• Computing
• Computer programming

Defunctionalization at Work £ ÇÐ Ú

Source URL: www.daimi.au.dk

PDF Document

Source URL: www.brics.dk

• Subroutines
• Functional programming
• Data types
• Type theory
• Models of computation
• Defunctionalization
• Closure
• Continuation-passing style
• Type system
• Software engineering
• Computing
• Computer programming

PDF Document

Source URL: www.brics.dk

• Subroutines
• Control flow
• Defunctionalization
• Models of computation
• Type theory
• Formal methods
• Function
• Type system
• Eval
• Software engineering
• Computing
• Computer programming