DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Kind (type theory)
Kind (type theory)
Metaobject Protocols: Why We Want Them and What Else They Can Do
Metaclasses
Chapter 2 Basics of Scanning And
Lecture 2: Variables and Primitive Data Types
Kind of Quantity’
Subtyping, Declaratively an Exercise in Mixed Induction and Coinduction
Guide for the Use of the International System of Units (SI)
PDF (Dissertation.Pdf)
OMG Meta Object Facility (MOF) Core Specification
Software II: Principles of Programming Languages
Java Primitive Numeric Types, Assignment, and Expressions: Data
A Core Calculus of Metaclasses
Fpnew: an Open-Source Multi-Format Floating-Point Unit Architecture For
Polymorphic Subtyping in O'haskell
Type Theory & Functional Programming
Slide Set 14 for ENCM 369 Winter 2014 Lecture Section 01
11 Kernels for Structured Data: Strings, Trees, Etc
Meta Object Facility (MOF) Specification
Top View
7. Understanding Classes and Metaclasses ST — Understanding Classes and Metaclasses Roadmap
CS107, Lecture 10 Floating Point
Algebraic Type Theory and the Gluing Construction 2
First-Class Polymorphism with Type Inference
String Theory
Arxiv:1605.06402V1 [Cs.CV] 20 May 2016
Two Lectures on Constructive Type Theory
First-Class Functions
DIMENSIONAL ANALYSIS Ain A
CS110: Introduction to Computer Science the String Data Type The
Gradual Typing for First-Class Classes∗
Chapter 3. DATA TYPE Values and Data File Storage Formats 3-1
Type Theory and Category Theory 1 + 2 : a Computable Foundation for Homotopical Mathematics
Chapter 6 Data Type
First-Class Labels for Extensible Rows Technical Report: UU-CS-2004-051
Pointers, Arrays, Memory: AKA the Cause of Those F@#)(#@*( Segfaults
08-C++-Strings.Pdf
ADDRESSING COMMUNITY GANG PROBLEMS: a Practical Guide U.S
In Praise of Metaclasses! D a V ICOLUMNS D B E a Z L E Y
Extensible Programming with First-Class Cases
Giving Haskell a Promotion
CLOS Generic Function and Method Parameters
Structural Subtyping and the Notion of Power Type
Subtype Polymorphism 3 April 2013 Lecturer: Andrew Myers
First-Class Functions
Zero-Overhead Metaprogramming L
Gentrification Gone Too Far? Affordable 2Nd-Class Values For
Unit 1: Primitive Types Variables and Datatypes
Institutional Sectors and Classifications for R&D Statistics
A TUTORIAL on POINTERS and ARRAYS in C by Ted Jensen Version 1.2 (PDF Version) Sept
Pointers (Perhaps)
Subtyping and Parametricity
OMG Unified Modeling Languagetm (OMG UML), Infrastructure
Type 2-Theories
Integrating Nominal and Structural Subtyping
C to Java: Converting Pointers Into References
Higher Inductive Types and Internal Parametricity for Cubical Type Theory Evan Cavallo CMU-CS-21-100 February 2021
Typed First-Class Traits
Bits, Bytes, and Representation of Information
A Kind System for Typed Machine Language
Floating Point Representation
Data Types Data Types Descriptors Primitive Data Types: Floating Point Internal Representation of Floats
• Digital Information
1. Pointer Variables a Computer Memory Location Has an Address and Holds a Content
Variables and Data Types
Classes of Arbitrary Kind⋆
Understanding Classes and Metaclasses ST — Introduction Birds-Eye View
Document Title Template UML Profile and Modeling Guide
Design of Miniature Floating Platform for Marginal Fields by Sha Miao
Kind and Precision (Aka Parameterized Data Types) Background • Fortran 77 Had a Problem with Numeric Portability
Generics of a Higher Kind
A Model of Clocked Cubical Type Theory in Psh(C × T)
Safe Programming with Pointers Through Stateful Views*
System FC with Explicit Kind Equality Stephanie Weirich
A Comparison of String Handling in Four Programming Languages
Java: Primitive Data Types, Variables and Constants Introduction
What Kind of Citizen? the Politics of Educating for Democracy
CS107 Lecture 17 Floating Point
Statistical Units
Multi-Byte Character Support Oracle Banking Payments Release 14.5.0.0.0 [ May ] [2021] Contents 1
Open Implementations and Metaobject Protocols