Generating Size­Parameterized Functions for  Circuit Simulation Using Template Haskell  Christoph Herrmann University of Passau Talk at the IFIP­WG 2.11 Meeting

Source URL: www.infosun.fmi.uni-passau.de

DSLs in Haskell Ryan Newton Back-end

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Data types
• Type theory
• Compilers
• Template Haskell
• Haskell
• Generalized algebraic data type
• Metaprogramming

CIS 194: Homework 6 Due Friday, October 17, 2014 No template file is provided for this homework. Download the markets.json file from the website, and make your HW06.hs Haskell file with your name, any sources you consult

Source URL: www.seas.upenn.edu

CIS 194: Homework 4 Due Friday, September 26, 2014 No template file is provided for this homework. Start your HW04.hs Haskell file with your name, any sources you consulted, and any other relevant comments (just like in

Source URL: www.seas.upenn.edu

Parallel Processing Letters cfWorld Scientific Publishing Company AUTOMATIC SKELETONS IN TEMPLATE HASKELL Kevin Hammond∗

Source URL: www.mathematik.uni-marburg.de

• Functional languages
• Higher-order functions
• Generic programming
• Algorithmic skeleton
• Threads
• Haskell
• Map
• Parallel computing
• NPES
• Computing
• Software engineering
• Computer programming

Template Meta-programming for Haskell Tim Sheard

Source URL: research.microsoft.com

• Functional languages
• Type theory
• Meta-programming
• Template Haskell
• Recursion
• Glasgow Haskell Compiler
• Monad
• Map
• Haskell
• Software engineering
• Computing
• Computer programming

DSL Implementation in MetaOCaml, Template Haskell, and C++ Krzysztof Czarnecki1 , John O’Donnell2 , J¨org Striegnitz3 , and Walid Taha4

Source URL: camlunity.ru

• Functional languages
• Eval
• Haskell
• Type system
• OCaml
• Conditional
• Typedef
• Read–eval–print loop
• Template metaprogramming
• Software engineering
• Computing
• Computer programming

PDF Document

Source URL: www.osl.iu.edu

• Type theory
• Data types
• Generic programming
• C++
• Object-oriented programming
• Template
• Haskell
• Concepts
• Type system
• Software engineering
• Computing
• Computer programming