Concept

System F

OpenAlex ID: C55128367

Lambda Calculus with Types

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

Computational lambda-calculus and monads

2003 · E. Moggi · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 900

Inductive definitions in the system Coq rules and properties

2006 · Christine Paulin-Mohring · Springer eBooks · 427

An extension of the basic functionality theory for the $\lambda$-calculus.

1980 · M. Coppo, M. Dezani-Ciancaglini · Notre Dame Journal of Formal Logic · 305

PDF

The differential lambda-calculus

2003 · Thomas Ehrhard, Laurent Regnier · Theoretical Computer Science · 268

A call-by-need lambda calculus

1995 · Zena M. Ariola, John Maraist, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 267

A type-theoretical alternative to ISWIM, CUCH, OWHY

1993 · Dana S. Scott · Theoretical Computer Science · 263

System F with type equality coercions

2007 · Martin Sulzmann, Manuel M. T. Chakravarty, et al. · Types In Languages Design And Implementation · 258

Type Systems for Programming Languages

1990 · John C. MITCHELL · Elsevier eBooks · 251

Practical type inference for arbitrary-rank types

2006 · SIMON PEYTON JONES, DIMITRIOS VYTINIOTIS, et al. · Journal of Functional Programming · 222

PDF

An inverse of the evaluation functional for typed lambda -calculus

2002 · U. Berger, H. Schwichtenberg · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 217

ECC, an extended calculus of constructions

2003 · Z. Luo · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 216

A lambda calculus for quantum computation with classical control

2006 · PETER SELINGER, BENOIT VALIRON · Mathematical Structures in Computer Science · 192

First-Class Phantom Types

2003 · James Cheney, Ralf Hinze · 186

Two-Level Functional Languages

1992 · Flemming Nielson, Hanne Riis Nielson · Cambridge University Press eBooks · 176

Parametric polymorphism and operational equivalence

2000 · ANDREW M. PITTS · Mathematical Structures in Computer Science · 171

The call-by-need lambda calculus

1997 · ZENA M. ARIOLA, MATTHIAS FELLEISEN · Journal of Functional Programming · 168

PDF

Polymorphism is not set-theoretic

1984 · John C. Reynolds · Lecture notes in computer science · 167

What is a model of the lambda calculus?

1982 · Albert R. Meyer · Information and Control · 166

PDF

The Impact of the Lambda Calculus in Logic and Computer Science

1997 · Henk Barendregt · Bulletin of Symbolic Logic · 165

Complete restrictions of the intersection type discipline

1992 · Steffen van Bakel · Theoretical Computer Science · 151

PDF

Lambda Dependency-Based Compositional Semantics

2013 · Liang, Percy · arXiv (Cornell University) · 149

PDF

A new approach to generic functional programming

2000 · Ralf Hinze · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 142

PDF

Inductive types and type constraints in the second-order lambda calculus

1991 · Nax Paul Mendler · Annals of Pure and Applied Logic · 137

PDF

Parametric higher-order abstract syntax for mechanized semantics

2008 · Adam Chlipala · ACM SIGPLAN Notices · 132

Works count: 1,084

Citation count: 15,760