Top View
- Meta Object Facility (MOF) 2.0 Core Specification
- Polymorphic Type Inference and Abstract Data Types
- The Common Lisp Object System: an Overview
- Modular Type Classes
- Species and Functors and Types, Oh My!
- Type Classes
- A Byte of Python Swaroop C H a Byte of Python Swaroop C H Copyright © 2003-2005 Swaroop C H
- Introduction to Generic Types in JDK 5.0 Skill Level: Introductory
- Modular Type Classes
- Type Classes and Subtyping Two Different Approaches of Polymorphism
- The Type Object Pattern
- A Constraint-Based Approach to Guarded Algebraic Data Types
- Overloading and Subtyping
- Variables and Data Types in Java
- Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
- Familia: Unifying Interfaces, Type Classes, and Family Polymorphism (Technical Report)
- Java Language Specification
- Type Classes and Subtyping
- Meta Classes
- Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
- Type Classes in Haskell
- Lecture 21: Hypothesis Testing, Method of Types and Large Deviation Lecturer: Aarti Singh Scribes: Yu Cai
- Instance Chains: Type Class Programming Without Overlapping Instances
- Generalized Algebraic Data Types
- The Type Class System Applied in the German Vehicle Insurance Industry
- Exploring Languages with Interpreters and Functional Programming Chapter 21
- A Comparative Study of Language Support for Generic Programming
- 1.0 OMG Adopted Specification
- Denotational Design with Type Class Morphisms
- C:\Class\Java\Slides\Chap 03 (Fundamentals)
- Chapter 6 Data Types
- Generic Programming in Java Topics Why Generic Programming Why Generic Programming (Cont.)
- Type Classes
- Type Classes and Instance Chains: a Relational Approach by John
- Type Classes
- Datatype-Generic Programming
- User-Defined Types
- Concepts: Linguistic Support for Generic Programming in C++
- Variant Parametric Types: a Flexible Subtyping Scheme for Generics
- Type Classes Without Types∗
- Metaprogramming in Python
- Descriptors (Functions, Classmethod, Staticmethod, Properties, VRML97 Fields, Basicproperty) ● Subclassing Built-In Types (List, Str) Background: the Type/Class Split
- Record Types in Scala: Design and Evaluation
- An Extensible Dynamic Linker For
- A Practical Tour of Scala's Type System
- Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
- Type Families with Class, Type Classes with Family
- A Yet Another Java.Lang.Class
- CSE 332: Summer 18 Project 1: Zip
- The Java Virtual Machine CS 2112 Fall 2017 Compiling for Different Platforms
- Bluespec Reference Guide
- Bluespec-5 Type Classes, Bits and Instruction Encoding Outline
- Records with Rank Polymorphism
- Parametric Compositional Data Types
- Denotational Design with Type Class Morphisms (Extended Version)
- Generics for the Masses
- Type Classes for Lightweight Substructural Types
- Subtyping: an Introduction
- Organizing Numerical Theories Using Axiomatic Type Classes
- The Limitations of Type Classes As Subtyped Implicits (Short Paper)
- Anton Arhipov Jrebel, Zeroturnaround @Antonarhipov Observe Make a Results Change