Lukas Convent

Geeky Projects and Writings.

Projects

Date Name Description
2019-02 Doo Bee Doo Bee Doo Draft Publication, with my co-authors Sam Lindley, Conor McBride, and Craig McLaughlin
2019-01 Adaptive Effect Handling in Frank Poster submission for Student Research Competition at POPL'19 conference (won 3rd place)
2018-11 TeSSLa: Temporal Stream-Based Specification Language Publication at SBMF'18 conference, with my co-authors Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2017-08 Enhancing a Modular Effectful Programming Language M.Sc. Thesis (won MSc Informatics Dissertation Prize)
2017-03 Monads and their Applications to Programming Coursework report
2017-01 Software Transactional Memory in Haskell Coursework report
2016-11 Embedding Quantum Programming in Haskell Coursework report
2016-11 Quantum Bit Commitment Coursework report
2016-08 Compositional and Nameless Formalization of HOcore B.Sc. Thesis
2016-01 Trends in Software Synthesis Seminar contribution
2015-06 Monadic Parsing in Haskell Proseminar-Beitrag