Top View
- Erlang/OTP System Documentation Copyright © 1997-2011 Ericsson AB
- First-Class Effect Reflection for Effect-Guided Programming Yuheng Long Iowa State University
- Unified Modeling Language 2
- Sound, Heuristic Type Annotation Inference for Ruby
- Type Systems.Fm
- Gradual Typing for Smalltalk Esteban Allende, Oscar Callau, Johan Fabry, Éric Tanter, Marcus Denker
- An Extension of System F with Subtyping
- Gradual Typing for Functional Languages
- Safe Type-Level Abstraction in Scala
- Gradual Typing for Smalltalk Esteban Allende, Oscar Callau, Johan Fabry, Eric´ Tanter, Marcus Denker
- A Theory of Tagged Objects
- Types from Data: Making Structured Data First-Class Citizens in F
- How Good Is Local Type Inference?
- The Grace Programming Language Draft Specification Ersionv 0.3.53
- Types from Data: Making Structured Data first-Class Citizens in F
- GADT Meet Subtyping
- GADT Meet Subtyping
- Practical, Pluggable Types*
- Using Assurance Points and Integration Rules for Recovery in Service Composition
- Dynamic Data Polyvariance Using Source-Tagged Classes
- Gadts Meet Subtyping 3
- (12) United States Patent (10) Patent No.: US 8,863,098 B2 Makino Et Al
- CLDC Byte Code Typechecker Specification (Pdf)
- 2 Consistent Subtyping For
- Type Systems
- The Grace Programming Language Draft Specification Version 0.132
- Bench-Top Type Temperature (& Humidity) Chamber
- An Object-Oriented Event Calculus Jeremiah S
- Implementing Baker's SUBTYPEP Decision Procedure
- Practical, Pluggable Types Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz
- Guile-GNOME: Gobject Version 2.15.93, Updated 25 August 2007
- ANSA for CFD Brief User Guide
- ANSI C: a Lexical Guide Describes the American National Standards Institute (ANSI) Standard for the C Programming Language
- Typed First-Class Traits
- Compiler and Runtime Techniques for Optimizing Dynamic Scripting Languages
- The Duality of Subtyping Bruno C
- Xiang Tongtong.Pdf (766.6Kb)
- Exception Handlers As Extensible Cases
- (& Humidity) Chamber
- Subtyping 11.1 Lecture Overview
- Designing Types for R, Empirically
- The Calculus of Dependent Lambda Eliminations
- CIS 500: Software Foundations Final Exam Full Name Or WPE-I Id
- The Power of Rich Syntax for Model-Based Development
- Induction, Coinduction, and Fixed Points in Programming Languages (PL) Type Theory
- A4M36TPJ, 2015/2016 What Is a Type?
- Type Inference for Recursively Constrained Types and Its
- An Error-Tolerant Type System for Variational Lambda Calculus
- ASN.1 Application
- DOT (Dependent Object Types)
- The Typed Racket Reference
- Custom Pluggable Types for Java
- Proquest Dissertations
- Design and Implementation of a Reusable Type Inference Engine and Its Application to Scheme Brian Dorn Iowa State University