Zobrazeno 1 - 10
of 46
pro vyhledávání: '"DeYoung, Henry"'
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type constructors and the
Externí odkaz:
http://arxiv.org/abs/2307.13661
Autor:
DeYoung, Henry, Pfenning, Frank
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10507
The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach to data layout that could be used as a typed intermediate language in
Externí odkaz:
http://arxiv.org/abs/2212.06321
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities medi
Externí odkaz:
http://arxiv.org/abs/2201.10998
The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely understood yet. In this work, we explore subtyping in a system of nest
Externí odkaz:
http://arxiv.org/abs/2103.15193
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is not fully understood in the context of session types. In this paper,
Externí odkaz:
http://arxiv.org/abs/2010.06482
Autor:
DAS, ANKUSH1 daankus@amazon.com, DEYOUNG, HENRY1 hdeyoungcs@amazon.com, MORDIDO, ANDREIA2 fp@cs.cmu.edu, PFENNING, FRANK1 afmordido@ciencias.ulisboa.pt.edu
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jul2022, Vol. 44 Issue 3, p1-45. 45p.
Autor:
DeYoung, Henry, Pfenning, Frank
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science.
The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach to data layout that could be used as a typed intermediate language in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::335efb7f40ac30522927048a629a324b
https://doi.org/10.46298/entics.10507
https://doi.org/10.46298/entics.10507
Publikováno v:
In Wilderness & Environmental Medicine June 2023 34(2):260-262
Autor:
Deyoung, Henry
Concurrent systems are ubiquitous, but notoriously difficult to get right: subtle races and deadlocks can lurk even in the most extensively tested of systems. In a quest to tame concurrency, researchers have successfully applied the principle of comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09506031064c92a3f6c84842a48f7a13
We present the semi-axiomatic sequent calculus (SAX) that blends features of Gentzen’s sequent calculus with an axiomatic formulation of intuitionistic logic. We develop and prove a suitable analogue to cut elimination and then show that a natural
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87996d41392e2cf78c9f8f4f646f17bc