Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Parreaux, Lionel"'
Autor:
Chen, Yijia, Parreaux, Lionel
Publikováno v:
Proceedings of the ACM on Programming Languages, Volume 8, Issue ICFP (August 2024)
Deforestation is a compiler optimization that removes intermediate data structure allocations from functional programs to improve their efficiency. This is an old idea, but previous approaches have proved limited or impractical: they either only work
Externí odkaz:
http://arxiv.org/abs/2410.02232
Publikováno v:
Proc. ACM Program. Lang. 7, OOPSLA2, Article 237 (October 2023), 29 pages
Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect implementation details of the underlying constraint-solving algorithms rather than the specific factors leading to type mi
Externí odkaz:
http://arxiv.org/abs/2402.12637
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotlin, TypeScript, and Flow. But pattern matching on generic class hierar
Externí odkaz:
http://arxiv.org/abs/2209.07427
Autor:
Fan, Andong, Parreaux, Lionel
We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overriding implementations. We show th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6b3df5841cc6e24de1e06aea199124c
Publikováno v:
ACM / SIGPLAN Notices; Dec2017, Vol. 52 Issue 12, p131-145, 15p
Autor:
Parreaux, Lionel
MLsub extends traditional Hindley-Milner type inference with subtyping while preserving compact principal types, an exciting new development. However, its specification in terms of biunification is difficult to understand, relying on the new concepts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::e6a4a53ff96aa8203636a52d8841acea
https://infoscience.epfl.ch/record/278576
https://infoscience.epfl.ch/record/278576
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle variou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03c6505065ddd30144c2b6b2f0f47ccc
https://infoscience.epfl.ch/record/281735
https://infoscience.epfl.ch/record/281735
Autor:
Shaikhha, Amir, Klonatos, Ioannis, Parreaux, Lionel Emile Vincent, Brown, Lewis, Dashti Rahmat Abadi, Mohammad, Koch, Christoph
This paper studies architecting query compilers. The state of the art in query compiler construction is lagging behind that in the compilers field. We attempt to remedy this by exploring the key causes of technical challenges in need of well founded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::35b436a8abca112aef73f237d18289f6
https://infoscience.epfl.ch/record/218087
https://infoscience.epfl.ch/record/218087