Parametricity - PDFSEARCH.IO - Document Search Engine

Parametricity
Results: 33

#	Item
21	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
22	Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-09-16 16:40:23 Theoretical computer science Applied mathematics Computer science Ordinary differential equations Mathematics Computability theory Lambda calculus
23	Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:28 Denotational semantics Physics Applied mathematics Orbifold Theoretical computer science Symbol Physical quantity
24	Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order Polymorphism Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:07 Mathematics Computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Parametricity Logic Type theory Proof theory Logic in computer science
25	A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-02 15:12:25 Computing Parametricity Stack Polymorphism Unit type Type theory Software engineering Data types
26	Realizability and Parametricity in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-03-04 08:28:39 Type theory Logic in computer science Deduction Mathematical constructivism Realizability Entailment Parametricity Symbol Lambda calculus Logic Mathematical logic Mathematics
27	Generic Programming in Haskell ¨ Andres Loh 8th May 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional programming Data types Parametricity Generic programming Functional languages Type class Polymorphism Id Theorem Software engineering Type theory Computing
28	ZU064-05-FPR main 29 April 2011 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-04-29 09:44:18 Theoretical computer science Curry–Howard correspondence Dynamical system Polymorphism Parametricity Type system Denotational semantics Type theory Software engineering Programming language theory
29	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
30	Behavioral Polymorphism and Parametricity in Session-Based Communication Lu´ıs Caires1 , Jorge A. P´erez1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova d Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:52:24 Programming language theory Curry–Howard correspondence System F Lambda calculus Connection Polymorphism Generic programming Type system Type theory Software engineering Theoretical computer science

UPDATE