Types by Need. - Beniamino Accattoli; Giulio Guerrieri; Maico Leberle (ESOP, 2019)

Types by Need (Extended Version). - Beniamino Accattoli; Giulio Guerrieri; Maico Leberle (CoRR, 2019)

Semantic Bounds and Strong Call-by-Value Normalization. - Beniamino Accattoli; Giulio Guerrieri; Maico Leberle (CoRR, 2021)

Dissecting call-by-need by customizing multi type systems. (Une dissection de l'appel-par-nécessité par la personnalisation des systèmes de multi types). - Maico Leberle (2021)

Useful Open Call-By-Need. - Beniamino Accattoli; Maico Leberle (CSL, 2022)

Strong Call-by-Value and Multi Types. - Beniamino Accattoli; Giulio Guerrieri; Maico Leberle (ICTAC, 2023)