Keyword

type inference

Description: An automated method in programming languages for determining the types of expressions from program structure and context.

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

Wikidata ID: wiki/Q586459

OpenAlex ID: keywords/type-inference

Types and Programming Languages

2002 · Benjamin C. Pierce · 2,226

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 Definition of Standard ML (Revised)

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

Chisel

2012 · Jonathan Bachrach, Huy Vo, et al. · Proceedings - ACM IEEE Design Automation Conference · 943

Theorems for free!

1989 · Philip Wadler · 773

Dependent types in practical programming

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

PDF

CCured

2012 · George C. Necula, Scott McPeak, et al. · ACM SIGPLAN Notices · 502

Abstract types have existential type

1988 · John C. Mitchell, Gordon D. Plotkin · ACM Transactions on Programming Languages and Systems · 434

PDF

Semantics of programming languages: structures and techniques

1993 · Choice Reviews Online · 419

Conception, evolution, and application of functional programming languages

1989 · Paul Hudak · ACM Computing Surveys · 409

Region-based memory management in cyclone

2002 · Dan Grossman, Greg Morrisett, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 404

Liquid types

2008 · Patrick M. Rondon, Ming Kawaguci, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 392

Flow-sensitive type qualifiers

2002 · Jeffrey S. Foster, Tachio Terauchi, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 377

CCured

2002 · George C. Necula, Scott McPeak, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 375

CCured: type-safe retrofitting of legacy software

2005 · George C. Necula, Jeremy Condit, et al. · ACM Transactions on Programming Languages and Systems · 365

Detecting format string vulnerabilities with type qualifiers

2001 · Umesh Shankar, Kunal Talwar, et al. · 355

Subtyping recursive types

1993 · Roberto M. Amadio, Luca Cardelli · ACM Transactions on Programming Languages and Systems · 350

PDF

Advanced Topics in Types and Programming Languages

2004 · The MIT Press eBooks · 348

An interaction-based language and its typing system

1994 · Kaku Takeuchi, Kohei Honda, et al. · Lecture notes in computer science · 347

DrScheme: a programming environment for Scheme

2002 · ROBERT BRUCE FINDLER, JOHN CLEMENTS, et al. · Journal of Functional Programming · 342

PDF

Simple unification-based type inference for GADTs

2006 · Simon Peyton Jones, Dimitrios Vytiniotis, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 336

The Principal Type-Scheme of an Object in Combinatory Logic

1969 · R. Hindley · Transactions of the American Mathematical Society · 321

Essentials of programming languages

2008 · Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes · Choice Reviews Online · 316

Dependently typed programming in Agda

2009 · Ulf Norell · 309

Works count: 5,427

Citation count: 67,480