Narrow Search
Liquori, Luigi
8
Pientka, Brigitte
8
Stolze, Claude
8
Brigitte Pientka
7
PIENTKA, BRIGITTE
5
MOMIGLIANO, ALBERTO
4
Andrew Cave
3
Kaiser, Jonas
3
Kavanagh, Ryan
3
Sano, Chuta
3
ABEL, ANDREAS
2
ALLAIS, GUILLAUME
2
Boespflug, Mathieu
2
HAMEER, ALIYA
2
Olivier Savary-belanger
2
SCHÄFER, STEVEN
2
STARK, KATHRIN
2
Sheard, Tim
2
Smolka, Gert
2
Stefan Monnier
2
THIBODEAU, DAVID
2
Weirich, Stephanie
2
Amy P. Felty
1
Brent A. Yorgey
1
CAVE, ANDREW
1
Cave, Andrew
1
Licata, Daniel R.
1
Morgan, David W.
1
Nada Habli
1
Stephanie Weirich
1
see all ...
Dependent types
6
Refiner
6
Subtyping
6
Type checker
6
Union types
6
2012 ACM Subject Classification Theory of computation → Lambda calculus
5
Theory of computation → Proof theory Keywords and phrases Intersection types
5
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
5
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
5
∆-Framework
5
FOS Computer and information sciences
4
Programming Languages cs.PL
4
Logic in Computer Science cs.LO
3
System F
3
Computer Science - Programming Languages
2
Computer Science Applications
2
Contextual Reasoning
2
Higher-Order Abstract Syntax
2
Mathematics (miscellaneous)
2
Pure Type Systems
2
Settore INF/01 - Informatica
2
Settore MAT/01 - Logica Matematica
2
de Bruijn Syntax
2
*COMPUTER LOGIC
1
*COMPUTER PROGRAM VERIFICATION
1
Beluga
1
CATEGORY THEORY
1
Computer Programming and Software
1
Computer Science - Logic in Computer Science
1
Computer Sciences
1
see all ...
Unknown
9
DataCite Metadata Store (German National Library of Science and Technology)
6
Cambridge University Press
3
ACM Publications (Association for Computing Machinery)
2
ArXiv.org (Cornell University Library)
2
The University of Milan: Archivio Istituzionale della Ricerca (AIR)
2
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
1
DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics )
1
Defense Technical Information Center: DTIC Technical Reports database
1
Directory of Open Access Journals: DOAJ Articles
1
HAL Université Côte d'Azur
1
Scientific publications of the Saarland University (UdS)
1
University of Pennsylvania: ScholaryCommons@Penn
1
University of Rhode Island: DigitalCommons@URI
1
Université de Nantes: HAL-UNIV-NANTES
1
Université de Paris: Portail HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
see all ...