Catamorphism - PDFSEARCH.IO - Document Search Engine

Catamorphism
Results: 20

#	Item
11	Rust: A Friendly Introduction Tim Chevalier Mozilla Research June 19, 2013 http://rust-lang.org/ Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-06-25 17:36:44 Cross-platform software Software bugs Data types Procedural programming languages Rust Pointer Memory safety C Dangling pointer Computing Software engineering Computer programming
12	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
13	Implementing Type-Based Deforestation by Marie-Christine (Kirsten) Chevalier Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Functional languages Recursion Subroutines Functional programming Higher-order functions Fold Map Glasgow Haskell Compiler Append Software engineering Computing Computer programming
14	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
15	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
16	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming
17	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer Maarten Fokkinga y Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-12-22 08:04:21 Category theory Recursion Higher-order functions Functional programming Functions and mappings Fold Anamorphism Catamorphism Map Mathematics Declarative programming Software engineering
18	Program Calculation Properties of Continuous Algebras Maarten M Fokkinga∗ and Erik Meijer† Originally Januari 1991 Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 13:02:59 Functional programming Functor Catamorphism Equivalence of categories Sheaf Homomorphism Morphism Natural transformation Anamorphism Category theory Abstract algebra Mathematics
19	PDF Document Add to Reading List Source URL: www.cs.ut.ee Language: English - Date: 2000-09-03 05:10:55 Category theory Functional programming Theoretical computer science Recursion Type theory Initial algebra Apomorphism Catamorphism Haskell Software engineering Computer programming Declarative programming
20	PDF Document Add to Reading List Source URL: lcsd05.cs.tamu.edu Language: English - Date: 2006-06-28 09:22:00 Abstract algebra Generic programming Initial algebra F-coalgebra Catamorphism F-algebra Functor Standard Template Library Fold Category theory Declarative programming Mathematics