Keyword

type systems

Description: Formal systems in programming languages that assign types to program constructs and use rules to constrain or analyze programs.

Primary topic: Logic, programming, and type systems (81%)

Wikidata ID: wiki/Q865760

OpenAlex ID: keywords/type-systems

LLVM: a compilation framework for lifelong program analysis & transformation

2004 · C. Lattner, V. Adve · 2,685

Types and Programming Languages

2002 · Benjamin C. Pierce · 2,226

On understanding types, data abstraction, and polymorphism

1985 · Luca Cardelli, Peter Wegner · ACM Computing Surveys · 1,670

PDF

Interface automata

2001 · Luca de Alfaro, Thomas A. Henzinger · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 1,172

Principal type-schemes for functional programs

1982 · Luis Damas, Robin Milner · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 1,103

Points-to analysis in almost linear time

1996 · Bjarne Steensgaard · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 1,092

PDF

The implementation of functional programming languages

1987 · Microprocessors and Microsystems · 1,076

The Definition of Standard ML (Revised)

1997 · Robin Milner, Robert Harper, et al. · 980

Lambda Calculus with Types

2013 · Henk Barendregt, Wil Dekkers, et al. · Cambridge University Press eBooks · 883

The C Programming Language

1983 · D. M. Ritchie, S. C. Johnson, et al. · Springer eBooks · 860

Towards a theory of type structure

1974 · John C. Reynolds · Lecture notes in computer science · 826

The Annotated C++ Reference Manual

1990 · Margaret A. Ellis, Bjarne Stroustrup · CERN Document Server (European Organization for Nuclear Research) · 814

Types, Abstraction and Parametric Polymorphism.

1983 · John Reynolds · IFIP Congress · 768

The Object-Oriented Database System Manifesto

1990 · Malcolm Atkinson, David DeWitt, et al. · Elsevier eBooks · 705

Miranda: A non-strict functional language with polymorphic types

1985 · D. A. Turner · Lecture notes in computer science · 637

Parametric Syntax

1984 · Hagit Borer · De Gruyter eBooks · 625

Dependent types in practical programming

1999 · Hongwei Xi, Frank Pfenning · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 578

PDF

Securing web application code by static analysis and runtime protection

2004 · Yao-Wen Huang, Fang Yu, et al. · International World Wide Web Conference (WWW) · 569

Towards a practical programming language based on dependent type theory

2007 · Ulf Norell · 555

Protocol specifications and component adaptors

1997 · Daniel M. Yellin, Robert E. Strom · ACM Transactions on Programming Languages and Systems · 554

PDF

KLAIM: a kernel language for agents interaction and mobility

1998 · R. De Nicola, G.L. Ferrari, et al. · IEEE Transactions on Software Engineering · 523

Polymorphic effect systems

1988 · J. M. Lucassen, D. K. Gifford · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 485

Type-based race detection for Java

2000 · Cormac Flanagan, Stephen N. Freund · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 446

Contracts for higher-order functions

2002 · Robert Bruce Findler, Matthias Felleisen · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 438

Semantics of programming languages: structures and techniques

1993 · Choice Reviews Online · 419

Works count: 11,100

Citation count: 130,600