From Haskell to Hardware via CCCs Conal Elliott April, 2015 Conal Elliott

Source URL: conal.net

Secure Multi-Execution in Haskell Mauro Jaskelioff and Alejandro Russo 1 2

Source URL: www.cse.chalmers.se

Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a

Source URL: extract.cs.odu.edu

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Procedural programming languages
• ML
• XS
• Monad
• Haskell features
• Standard ML

Addressing Scalability and Robustness in Security Games with Multiple Boundedly Rational Adversaries Matthew Brown, William B. Haskell, Milind Tambe University of Southern California

Source URL: teamcore.usc.edu

Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn

Source URL: research.microsoft.com

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Type theory
• Data types
• Functional programming
• Literate programming
• Haskell
• Type class
• Type inference
• OCaml

Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence

DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language implementation
• Generalized algebraic data type
• Syntax
• Domain-specific language
• Haskell

. . Π-Ware: Hardware Description with Dependent Types

Source URL: wwwhome.cs.utwente.nl

• Hardware description languages
• Functional languages
• Agda
• Chalmers University of Technology
• SystemC
• Verilog
• VHDL
• Type theory
• Haskell

P a g e | 1 of 2 Haskell Douglas Haskell Award for Student Journals Application Instructions Deadline: Applications must be received on Monday, May 3rd by 5:00 pm EST.

Source URL: cfafoundation.org

Static Analysis and Code Optimizations in Glasgow Haskell Compiler Ilya Sergey

Source URL: ilyasergey.net

• Software engineering
• Software
• Computer programming
• Glasgow Haskell Compiler
• Haskell
• Real-time strategy