Adrienne Lancelot

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Standard Deviation

Data Dependencies

Top Venues

Publications

Beniamino Accattoli, Adrienne Lancelot
Light Genericity. FoSSaCS (2) (2024)
Beniamino Accattoli, Adrienne Lancelot
Mirroring Call-By-Need, or Values Acting Silly. FSCD (2024)
Beniamino Accattoli, Adrienne Lancelot
Mirroring Call-by-Need, or Values Acting Silly. CoRR (2024)
Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot
Normal Form Bisimulations By Value. CoRR (2023)