Maico Leberle

According to our database, Maico Leberle authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Strong Call-by-Value and Multi Types.

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Useful Open Call-By-Need.

Beniamino Accattoli, Maico Leberle

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

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

PhD thesis, 2021

Semantic Bounds and Strong Call-by-Value Normalization.

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

CoRR, 2021

2019

Types by Need (Extended Version).

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

CoRR, 2019

Types by Need.

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

Proceedings of the Programming Languages and Systems, 2019