Some Famous Articles about Type System of Programming Language

原创 2004年06月23日 18:35:00

OO Type System

1983 A Semantics of Multiple Inheritance [Cardelli]
1989 Inheritance is not Subtyping [Cook, Hill, Canning]

1993 A Paradigmatic Object-Oriented Programming Language:
Design, Static Typing and Semantics [Bruce]
1993 Object-Oriented Programming Without Recursive Types [Pierce-Turner]
1994 A Theory of Objects [Abadi-Cardelli]

1996 On Binary Methods [Bruce-Cardelli-Castagna-HOG-Leavens-Pierce]
1996 An Interpretation of Objects and Object Types
[Abadi-Cardelli-Viswanathan]
1997 Comparing Object Encodings [Bruce-Cardelli-Pierce]

1996 Objective ML: A simple object-oriented extension of ML [Rémy-Vouillon]
1998 Making the Future Safe for the Past: Adding Genericity to the Java
Programming Language [Bracha-Odersky-Stoutamire-Wadler]
2001 Design and Implementation of Generics for the .NET Common
Language Runtime [Kennedy-Syme]

 

Bounded Quantification

1985 On Understanding Types, Data Abstraction, and Polymorphism

1990–92 Coherence of Subsumption: Minimum typing and type-checking

1991 An Extension of System F with Subtyping
[Cardelli-Martini-Mitchell-Scedrov]
1992 Bounded Quantification is Undecidable [Pierce]

1993 Intersection Types and Bounded Polymorphism [Pierce]
1994 Subtyping in F!

1994 Higher-Order Subtyping [Pierce-Steffen]
1995 On Subtyping and Matching [Abadi-Cardelli]
1997 Termination of system F-bounded: A complete proof [Ghelli]
1999 Subtyping Recursive Types in Kernel Fun [Colazzo-Ghelli] LICS!

Module Systems

1986 Using dependent types to express modular structure

1990 Higher-Order Modules and the Phase Distinction
[Harper-Mitchell-Moggi]
1994 A Type-Theoretic Approach to Higher-Order Modules with Sharing
[Harper-Lillibridge] (“translucent sums”)
1994 Manifest Types, Modules, and Separate Compilation [Leroy]
1996 Mixin Modules [Duggan-Sourelis]
1997 Program Fragments, Linking, and Modularization [Cardelli]
1999 Non-dependent Types for Standard ML Modules [Russo]
Consolidation
2002 A Theory of Mixin Modules: Algebraic Laws and Reduction
Semantics [Ancona-Zucca]
2003 A type system for higher-order modules [Dreyer-Harper-Crary]

 

《The C++ Programming Language》作者的经典语录

        早上读了《The C++ Programming Language》作者的经典语录,渐渐发觉这曾经是自己走过的路。额头上逐渐冒汗,为自己曾经的不踏实和单纯幼稚深深自责……把它贴在这里,...
  • ericksky
  • ericksky
  • 2007年06月09日 10:14
  • 3227

《The C Programming Language》读书笔记总结 <一>.基础篇

写了这么多年的C代码,回过头来再看《The C Programming Language》这本书,作者Brian W. Kernighan和C语言之父Dennis M. Ritchie。感觉里面的知识...
  • Eastmount
  • Eastmount
  • 2015年10月21日 16:14
  • 2259

《The Objective-C Programming Language》中文翻译文档

July 8,2014
  • holyjoy
  • holyjoy
  • 2014年07月09日 16:47
  • 1623

《The C Programming Language》电子书下载

至于《The C Programming Language》这本书多么好,多么权威,我就不多说了,看过的人都知道。。。。  点击此处下载《The C Programming Language》 【...
  • pengqianhe
  • pengqianhe
  • 2012年09月25日 16:25
  • 5847

<<The C Programming Language>>学习之路-练习题参考答案 1-1

从今天开始系统将C圣经书>练习题全部做一遍,书已经看几遍了,自己感觉看多少遍也不如自己亲手做一遍,开始这段学习旅程吧,即使今年剩余的空余时间都做了这练习,也相信编程能力会有较大的飞跃吧。 由于目前家...
  • kuwaka
  • kuwaka
  • 2014年03月26日 23:37
  • 1019

The Swift Programming Language 中英文双语版

目录 欢迎使用 Swift 关于 SwiftSwift 初见 Swift 教程 基础部分基本运算符字符串和字符集合类型控制流函数闭包枚举类和结构体属性方法附属脚本继承构造过程析构过程自...
  • sunnyboy9
  • sunnyboy9
  • 2016年03月10日 23:50
  • 587

The Go Programming Language(读书笔记)

The Go Programming Language 目录  [隐藏]  1 Tutorial2 程序结构3 基本数据类型4 复合类型5 函...
  • cteng
  • cteng
  • 2015年12月20日 01:36
  • 1191

《The.Go.Programming.Language.2015.11.pdf》之数组和切片

1数组 数组的声明和初始化 数组成员的访问 数组的比较 数组作为函数参数 2切片 append函数 利用append实现特殊函数...
  • KingEasternSun
  • KingEasternSun
  • 2016年10月26日 16:21
  • 519

贪心算法:田忌赛马-HDU1052 & POJ2287 & ZOJ2397

/* http://acm.hdu.edu.cn/showproblem.php?pid=1052 http://poj.org/problem?id=2287 http://acm.zju.edu....
  • leolinsheng
  • leolinsheng
  • 2014年02月13日 22:37
  • 2220

《The C programming language》学习笔记

Brian和Dennis的《c程序设计语言》(The C Programming Language)真不愧为c语言方面的经典书籍,薄薄的一本,却让人爱不释手,每次阅读都能有所收获。好记忆不如烂笔头,有...
  • u010418035
  • u010418035
  • 2015年04月15日 21:25
  • 1901
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Some Famous Articles about Type System of Programming Language
举报原因:
原因补充:

(最多只允许输入30个字)