Type theory comes of age

Authors:
Alex Wright
Affiliations:
Brooklyn, NY
Venue:
Communications of the ACM
Year:
2010

Citing 3
Cited 1

Basic simple type theory

Basic simple type theory
Types and programming languages

Types and programming languages
Hybrid type checking

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Refactoring support for Smalltalk using static type inference

Proceedings of the International Workshop on Smalltalk Technologies

Quantified Score

Hi-index	48.22

Visualization

Abstract

Type systems are moving beyond the realm of data structure and into more complex domains like security and networking.