Catamorphism - PDFSEARCH.IO - Document Search Engine

Catamorphism
Results: 20

#	Item
1	Previous Research Experience Marie-Christine R. Chevalier My first extended research experience was in summer 1999, in the Computer Science department at the University of California, Berkeley. I was a participant in the Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:56:14
2	Proposed Plan of Research Marie-Christine R. Chevalier Introduction Functional programming can improve the reliability and security of software systems in unique ways, but many programmers reject it, arguing that the ine Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:56:14
3	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
4	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
5	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
6	TIM CHEVALIER Objective A full-time position at the intersection of software development and computer science research. Particularly interested in applying advanced, type-safe programming languages to real-world applicat Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-10-04 23:39:47 Cross-platform software Scripting languages Haskell Literate programming OpenLaszlo Tcl GrammaTech Deforestation Java Computing Software engineering Computing platforms
7	Kirsten Chevalier Shafer, x1188 1 I am writing this speech four hours before it’s due. What better way to Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 21:12:52 Indian films Derek Raymond Wings of Heaven
8	Statement of Purpose Marie-Christine R. Chevalier I fell in love with programming on the second day of my first computer science class. I remember the moment distinctly. The professor was demonstrating a program to draw Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 17:01:43 Programming paradigms Deforestation Functional programming Programming language Haskell Glasgow Haskell Compiler Imperative programming Type inference Algorithm Software engineering Computing Computer programming
9	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
10	PDF Document Add to Reading List Source URL: catamorphism.org - Date: 2012-08-01 21:09:10