Zobrazeno 1 - 10
of 29 627
pro vyhledávání: '"MORRIS, J"'
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
Autor:
Morris, J. R.
Publikováno v:
Phys.Lett.B 847 (2023) 138325
A modified Reissner-Nordstr\"om spacetime is considered here, where the central object (for example, a black hole or naked singularity) possesses a mass, with an ordinary, i.e., Standard Model (SM) electric charge, along with a dark electric charge a
Externí odkaz:
http://arxiv.org/abs/2311.10890
Publikováno v:
Advances in Medical Education and Practice, Vol Volume 15, Pp 1059-1067 (2024)
Stephanie Stroever,1 Colten Lanning,2 Miloš Buhavac,3 Cameran Mecham,4 Andrea Weitz,4 Frank Frankovsky,2 Andres Rios,2 James Morris5 1Department of Medical Education, Texas Tech University Health Sciences Center School of Medicine, Lubbock, TX, USA;
Externí odkaz:
https://doaj.org/article/ab8b7e61223844119c296ca40d0e6b50
We propose a novel approach to soundly combining linear types with effect handlers. Linear type systems statically ensure that resources such as file handles are used exactly once. Effect handlers provide a modular programming abstraction for impleme
Externí odkaz:
http://arxiv.org/abs/2307.09383