Zobrazeno 1 - 10
of 735
pro vyhledávání: '"Eisenberg, Richard A."'
Despite recent advances in communication and automation, regulations are still written in natural-language prose, subject to ambiguity, inconsistency, and incompleteness. How can we craft regulations with precision? Our solution is embodied in Eiger,
Externí odkaz:
http://arxiv.org/abs/2209.04939
Autor:
Bottu, Gert-Jan, Eisenberg, Richard A.
Designing a language feature often requires a choice between several, similarly expressive possibilities. Given that user studies are generally impractical, we propose using stability as a way of making such decisions. Stability is a measure of wheth
Externí odkaz:
http://arxiv.org/abs/2106.14938
Autor:
ABRAHAMS, ANDY (AUTHOR), EISENBERG, RICHARD (AUTHOR), GREISSINGER, LISA (AUTHOR), LEAVITT, CAROLINE (AUTHOR), MICHELI, ROBIN (AUTHOR), MHUTE, WADZA (AUTHOR), POLS, MARY (AUTHOR), WINIK, MARION (AUTHOR)
Publikováno v:
People. 9/9/2024, Vol. 102 Issue 10, p26-31. 6p. 41 Color Photographs.
A linear parameter must be consumed exactly once in the body of its function. When declaring resources such as file handles and manually managed memory as linear arguments, a linear type system can verify that these resources are used safely. However
Externí odkaz:
http://arxiv.org/abs/2103.06127
Graded Type Theory provides a mechanism to track and reason about resource usage in type systems. In this paper, we develop GraD, a novel version of such a graded dependent type system that includes functions, tensor products, additive sums, and a un
Externí odkaz:
http://arxiv.org/abs/2011.04070
In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the challenge of kind inference for datatype declarations has presented its
Externí odkaz:
http://arxiv.org/abs/1911.06153
Modern Haskell supports zero-cost coercions, a mechanism where types that share the same run-time representation may be freely converted between. To make sure such conversions are safe and desirable, this feature relies on a mechanism of roles to pro
Externí odkaz:
http://arxiv.org/abs/1905.13706
For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms. This extension was never properly specified. We rectify that oversight here. With the formal
Externí odkaz:
http://arxiv.org/abs/1806.03476
Autor:
ANDERSSON, ERIC (AUTHOR), EISENBERG, RICHARD (AUTHOR), MARTIN, CLAIRE (AUTHOR), JACK SMART, MARY (AUTHOR)
Publikováno v:
People. 1/15/2024, Vol. 101 Issue 2, p25-29. 5p. 25 Color Photographs.
Autor:
Morris, J. Garrett, Eisenberg, Richard
We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either require totality or implicitly assume it. For example, type families in H
Externí odkaz:
http://arxiv.org/abs/1706.09715