- Home
- » Tags
- » Type system
Top View
- Type Systems for Programming Languages
- Python Metaclasses: Who? Why? When?
- Representing Numeric Data in 32 Bits While Preserving 64-Bit Precision
- Gradual Typing for First-Class Classes∗
- Subtyping: Overview and Implementation CS5218: Principles of Program Analysis
- Static Typing for Object-Oriented Programming 1 Introduction
- A Generic Type-And-Effect System
- Adding a Fundamental Type for N-Bit Integers Committee: ISO/IEC JTC1 SC22 WG14
- Python Metaclasses: Who? Why? When? (Pdf)
- A Unified Type System for Object-Oriented Programming
- The Simple Essence of Algebraic Subtyping Principal Type Inference with Subtyping Made Easy (Functional Pearl)
- Safe Programming at the C Level of Abstraction
- A Parameterized Type System for Race-Free Java Programs
- Engineering a Programming Language
- A Core Calculus of Metaclasses
- An Implementation of Telos in Common Lisp
- Parametric Polymorphism
- 2-4-2 / Type Systems Polymorphism
- Session 6: Data Types and Representation
- Datashape Documentation Release 0.5.4+8.Gcae16a8
- Paper "Basic Polymorphic Typechecking"
- Explaining a Type System in a Language Understandable by an Undergraduate Student. a Dissertation Submitted in Partial Fulfillme
- Concepts of Programming Languages: Static Vs
- Type Unsoundness in Practice: an Empirical Study of Dart
- Generic Programming with Dependent Types
- A Simple Model for Certifying Assembly Programs with First-Class Function Pointers
- A Type System for Object Models
- Frame Rules from Answer Types for Code Pointers
- A Type System Equivalent to Flow Analysis∗
- A Theory of Type Polymorphism in Programming
- CSC312 Principles of Programming Languages : Type System
- A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures
- The Java Type System
- C S Fl Ker-Ip(C,4 Q \'Cakeo.T0vc. ---Fc 14K1442,)7 Role Na E Sccd 2Ectpi
- Integrating Nominal and Structural Subtyping
- The Type System
- A Proposal for an Interactive Shell Based on a Typed Lambda Calculus
- Typed First-Class Traits
- Type Inference with Structural Subtyping: a Faithful Formalization of an Efficient Constraint Solver
- A Type System for Certified Binaries
- Synchronous Operations As First-Class Values I. Introduction
- Std::Byte Is Not an Integer and Not a Character
- Concepts: Linguistic Support for Generic Programming in C++
- ML Vs. Racket and Static Vs. Dynamic Type-‐Checking
- Java Byte Data Type Example
- Stata & Abadi: a Type System for Java Bytecode Subroutines
- Scala for Generic Programmers Comparing Haskell and Scala Support for Generic Programming
- Type System for Resource Bounds with Type-Preserving Compilation
- Generic Programming
- Quick Introduction to Type Systems
- Generalizers: New Metaobjects for Generalized Dispatch
- Substructural Type Systems Lecture 17 Tuesday, March 29, 2016 1 Substructural Type Systems
- Towards Efficient Reflective Object-Oriented Languages
- A Constraint-Driven Executable Model of Dynamic System Reconfiguration D’Arcy Walsh Bedarra Research Labs, Ottawa, Canada Email: [email protected]
- Safe Programming with Pointers Through Stateful Views*
- A Type System for Smalltalk
- A Type System for Expressive Security Policies∗
- Polymorphic Type Inference with Overloading and Subtyping
- Static Vs. Dynamic Checking
- Expanding Javascript's Metaobject Protocol
- Comparative Study of the Pros and Cons of Programming Languages Java, Scala, C++, Haskell, VB .NET, Aspectj, Perl, Ruby, PHP & Scheme
- Type Inference for First-Class Messages with Match-Functions
- A Sound Polymorphic Type System for a Dialect of C*
- Inside Coq's Type System
- An Extensible Type System for Component-Based Design
- Modeltalk: a Framework for Developing Domain Specific
- EE109 Signed Systems and Arithmetic
- CSCI 2325 Principles of Programming Languages Types & Type System