Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

First Page		Document Content
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		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 Download Document from Source Website File Size: 298,48 KB Share Document on Facebook

	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 DocID: 1lz01 - View Document
	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 DocID: 1kS8u - View Document
	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology DocID: 1kImq - View Document
	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 DocID: 11VxE - View Document
	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ DocID: 11Vjc - View Document