Supplemental file for "A typed programming language : the semantics of rank polymorphism"

Bibliographic Details
Published:
Online Access:http://hdl.handle.net/2047/D20383649
id ndltd-NEU--neu-m046rg39r
record_format oai_dc
spelling ndltd-NEU--neu-m046rg39r2021-05-28T05:21:44ZSupplemental file for "A typed programming language : the semantics of rank polymorphism"http://hdl.handle.net/2047/D20383649
collection NDLTD
sources NDLTD
description
title Supplemental file for "A typed programming language : the semantics of rank polymorphism"
spellingShingle Supplemental file for "A typed programming language : the semantics of rank polymorphism"
title_short Supplemental file for "A typed programming language : the semantics of rank polymorphism"
title_full Supplemental file for "A typed programming language : the semantics of rank polymorphism"
title_fullStr Supplemental file for "A typed programming language : the semantics of rank polymorphism"
title_full_unstemmed Supplemental file for "A typed programming language : the semantics of rank polymorphism"
title_sort supplemental file for "a typed programming language : the semantics of rank polymorphism"
publishDate
url http://hdl.handle.net/2047/D20383649
_version_ 1719407809763737600