Louis Parlant

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Linear Equations

Equational Theories

Top Venues

Theory and Practice of Formal Methods

Publications

Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. CoRR (2020)
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. MFCS (2020)
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Layer by Layer - Combining Monads. ICTAC (2018)
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Layer by layer - Combining Monads. CoRR (2017)
Robbert Krebbers, Louis Parlant, Alexandra Silva
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. Theory and Practice of Formal Methods (2016)