Concepedia

Lionel Parreaux

LP

7

Publications

189

Citations

7

H-Index

2016

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Hong Kong University of Science and Technology

Lionel Parreaux is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSyntaxCompilersSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Engineering

Publications per year

2016–2023

7

Publications

7

How to Architect a Query Compiler

Amir Shaikhha, Yannis Klonatos, Lionel Parreaux et al. · 2016 · 80 citations · Full text

Engineering, Compiler Technology, Software Engineering +20

Unifying analytic and statically-typed quasiquotes

Lionel Parreaux, Antoine Voizard, Amir Shaikhha et al. · Proceedings of the ACM on Programming Languages · 2017 · 26 citations · Full text

Engineering, Type Theory, Software Systems +17

MLstruct: principal type inference in a Boolean algebra of structural types

Lionel Parreaux, Chun Yin Chau · Proceedings of the ACM on Programming Languages · 2022 · 25 citations · Full text

Principal Type Inference, Engineering, Boolean Function +17

The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl)

Lionel Parreaux · Proceedings of the ACM on Programming Languages · 2020 · 24 citations · Full text

Abstract Algebra, Engineering, Completeness Arguments +16

Squid: type-safe, hygienic, and reusable quasiquotes

Lionel Parreaux, Amir Shaikhha, Christoph Koch · 2017 · 12 citations · Full text

Engineering, Information Security, Type Theory +25

Rows per page

1–5 of 7