Louis Parlant

According to our database, Louis Parlant authored at least 4 papers between 2016 and 2020.

Collaborative distances:

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

2020

Monad composition via preservation of algebras.

Louis Parlant

PhD thesis, 2020

Preservation of Equations by Monoidal Monads.

Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2018

Layer by Layer - Combining Monads.

Fredrik Dahlqvist, Louis Parlant, Alexandra Silva

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

2016

Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.

Robbert Krebbers, Louis Parlant, Alexandra Silva

Proceedings of the Theory and Practice of Formal Methods, 2016