default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLionel Parreaux
Person information
- affiliation: Hong Kong University of Science and Technology, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]Lionel Parreaux
, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau:
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. Proc. ACM Program. Lang. 8(POPL): 1418-1450 (2024)- [c10]Chun Kit Lam, Lionel Parreaux:
Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming. FLOPS 2024: 188-216 - [i2]Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser:
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. CoRR abs/2402.12637 (2024) - 2023
- [j6]Andong Fan, Lionel Parreaux:
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). Dagstuhl Artifacts Ser. 9(2): 22:1-22:2 (2023) - [j5]Ishan Bhanuka, Lionel Parreaux, David Binder, Jonathan Immanuel Brachthäuser:
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference. Proc. ACM Program. Lang. 7(OOPSLA2): 431-459 (2023) - [c9]Andong Fan, Lionel Parreaux:
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. ECOOP 2023: 11:1-11:28 - 2022
- [j4]Lionel Parreaux, Chun Yin Chau:
MLstruct: principal type inference in a Boolean algebra of structural types. Proc. ACM Program. Lang. 6(OOPSLA2): 449-478 (2022) - [j3]Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux:
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning. Proc. ACM Program. Lang. 6(OOPSLA2): 1526-1555 (2022) - [i1]Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux:
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning. CoRR abs/2209.07427 (2022) - 2021
- [c8]Lionel Parreaux:
Comprehending Monoids with Class. DBPL 2021: 17-22 - [c7]Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux:
Implementing path-dependent GADT reasoning for Scala 3. SCALA@SPLASH 2021: 22-32 - 2020
- [b1]Lionel Parreaux:
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages. EPFL, Switzerland, 2020 - [j2]Lionel Parreaux:
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl). Proc. ACM Program. Lang. 4(ICFP): 124:1-124:28 (2020) - [c6]Lionel Parreaux, Amir Shaikhha:
Multi-stage programming in the large with staged classes. GPCE 2020: 35-49
2010 – 2019
- 2019
- [c5]Amir Shaikhha, Lionel Parreaux:
Finally, a Polymorphic Linear Algebra Language (Pearl). ECOOP 2019: 25:1-25:29 - [c4]Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso:
Towards improved GADT reasoning in Scala. SCALA@ECOOP 2019: 12-16 - 2018
- [j1]Lionel Parreaux, Antoine Voizard, Amir Shaikhha, Christoph E. Koch:
Unifying analytic and statically-typed quasiquotes. Proc. ACM Program. Lang. 2(POPL): 13:1-13:33 (2018) - 2017
- [c3]Lionel Parreaux, Amir Shaikhha, Christoph E. Koch:
Quoted staged rewriting: a practical approach to library-defined optimizations. GPCE 2017: 131-145 - [c2]Lionel Parreaux, Amir Shaikhha, Christoph E. Koch:
Squid: type-safe, hygienic, and reusable quasiquotes. SCALA@SPLASH 2017: 56-66 - 2016
- [c1]Amir Shaikhha, Yannis Klonatos, Lionel Parreaux, Lewis Brown, Mohammad Dashti, Christoph Koch:
How to Architect a Query Compiler. SIGMOD Conference 2016: 1907-1922
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
