Skip to Main content Skip to Navigation
Journal articles

Tight typings and split bounds, fully developed

Beniamino Accattoli 1 Stéphane Graham-Lengrand 2 Delia Kesner 3
1 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
2 SRI - SRI International [Menlo Park]
3 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/hal-03089347
Contributor : Beniamino Accattoli <>
Submitted on : Monday, December 28, 2020 - 12:14:04 PM
Last modification on : Tuesday, December 29, 2020 - 3:31:36 AM

Identifiers

Collections

LIX | X-LIX | X | X-DEP-INFO | CNRS | UP-SCIENCES | IP_PARIS | UNIV-PARIS | INRIA

Citation

Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner. Tight typings and split bounds, fully developed. Journal of Functional Programming, Cambridge University Press (CUP), 2020, 30, ⟨10.1017/S095679682000012X⟩. ⟨hal-03089347⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

20

 

Contact                    Legal Notice                    Personal Data