Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Marmaduke, Andrew"'
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features from subtyping to modular combination of case branches. Our goal is the modular com
Externí odkaz:
http://arxiv.org/abs/2410.11742
Large eliminations provide an expressive mechanism for arity- and type-generic programming. However, as large eliminations are closely tied to a type theory's primitive notion of inductive type, this expressivity is not expected within polymorphic la
Externí odkaz:
http://arxiv.org/abs/2112.07817
Autor:
Marmaduke, Andrew Robert
Carbon nanotubes (CNTs) exhibit exceptional thermal, mechanical, and electronic properties and hence are of interest for potential applications in novel materials and devices. To develop these applications, researchers must achieve a better understan
Externí odkaz:
http://rave.ohiolink.edu/etdc/view?acc_num=akron1430418484
Large eliminations provide an expressive mechanism for arity- and type-generic programming. However, as large eliminations are closely tied to a type theory’s primitive notion of inductive type, this expressivity is not expected within polymorphic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45c9f4f562e5a2bfd492da74a30319ed