Parametric polymorphism - PDFSEARCH.IO - Document Search Engine

Parametric polymorphism
Results: 44

#	Item
1	Parametric Polymorphism Through Run-time Sealing or, Theorems for Low, Low Prices! Amal Ahmed Lindsey Kuper Jacob Matthews Add to Reading List Source URL: www.cs.indiana.edu - Date: 2011-02-27 17:51:38
2	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
3	New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Computing Polymorphism Functional programming Data types Parametricity Parametric polymorphism Map
4	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator
5	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
6	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
7	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
8	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
9	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Eric Allen Justin Hilburn Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-08-18 12:46:32
10	A logic for parametric polymorphism with effects Rasmus Ejlers Møgelberg and Alex Simpson LFCS, School of Informatics, University of Edinburgh Abstract. We present a logic for reasoning about parametric polymorphism in Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-12-18 07:08:12