Skip to Main content Skip to Navigation
Journal articles

Tight typings and split bounds, fully developed

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

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⟩

Share

Metrics

Record views

20