Ad hoc polymorphism - PDFSEARCH.IO - Document Search Engine

Ad hoc polymorphism
Results: 10

#	Item
1	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
2	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
3	Evaluating the dynamic behavior of Smalltalk applications Bachelor Thesis Roger Stebler from Balsthal, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2015-04-21 06:14:19 Type theory Smalltalk Duck typing Type system Ad-hoc polymorphism Variable Polymorphism in object-oriented programming Ruby Eval Software engineering Computing Computer programming
4	Contextual Polymorphism by Glen Jerey Ditcheld A thesis Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2015-01-30 12:38:55 Programming language theory Polymorphism Data types Object-oriented programming Parametric polymorphism Ad-hoc polymorphism Type system Subtype polymorphism Function overloading Type theory Software engineering Computing
5	Modular implicits Leo White Fr´ed´eric Bour A common criticism of OCaml is its lack of support for ad-hoc polymorphism. The classic example of this is OCaml’s separate addition operators for integers (+) and floatin Add to Reading List Source URL: www.lpw25.net Language: English - Date: 2015-02-22 16:28:22 Functional languages Procedural programming languages Type theory Functional programming Data types Type class OCaml ALGOL 68 Type signature Software engineering Computing Computer programming
6	Advances in Programming Languages APL7: Polymorphism from Types to Kinds and Beyond Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-11 21:20:45 Computer programming Object-oriented programming Polymorphism Data types Functional programming Ad-hoc polymorphism Parametric polymorphism Type class Function overloading Software engineering Computing Type theory
7	1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 09:17:29 Programming language theory Data types Polymorphism Object-oriented programming Functional programming Subtype polymorphism Parametric polymorphism Ad-hoc polymorphism Type system Software engineering Type theory Computing
8	Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt & Add to Reading List Source URL: mattam.org Language: English - Date: 2012-10-08 11:22:07 Computer programming Data types Object-oriented programming Polymorphism Functional languages Type class Subtype polymorphism Ad-hoc polymorphism Generic programming Software engineering Computing Type theory
9	Categorical and domain theoretic models of parametric polymorphism Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:07 Programming language theory Polymorphism Parametric polymorphism Parametricity Ad-hoc polymorphism System F ML Type system Function type Software engineering Type theory Computing
10	Type Classes and Instance Chains: A Relational Approach Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-10-18 06:05:19 Computing Type system Ad-hoc polymorphism Polymorphism Parametric polymorphism Type inference Subtype polymorphism System F ML Type theory Software engineering Programming language theory