New Publications and Drafts Birkhoff's Completeness Theorem for Multi-Sorted AlgebrasĬode. Habilitation thesis, Fakultät für Mathematik, Informatik, und Statistik, Ludwig-Maximilians-Universität München, 2013 How to write papers so people can read them Habilitation Thesis Normalization by Evaluation: Dependent Types and Impredicativity POPL 2023 POPL 2023: The 50th ACM SIGPLAN Symposium on Principles of Programming Languages LFMTP 2022 Logical Frameworks and Meta-Languages: Theory and Practice,Īffiliated with FSCD 2022, part of FLoC 2022, PADL 2023 PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages Ghc-8.10.6-x86_ (ditto).Įvents / PC Memberships JFP Theoretical PearlsĬontact me or submit directly a theoretical pearl article to the Journal of Functional Programming. GHC 8.10.5 for macOS, built under Mojave 10.14.6 with XCode 11.3. Java-adt Tool: Algebraic data type generator for JAVA. Tutch The tutorial proof checker: Educational language for reasoning in natural deduction. MiniAgda Agda-like toy language for researching dependent typing and subtyping. Software Agda A dependently-typed functional programming language and proof assistant.īNFC The Backus Naur Form Compiler: A front-end to parser generators. Maintainer of the Backus Naur Form Compiler ( BNFC).Senior developer of the dependently-typed language Agda.Member in the IFIP WG 1.3 on Foundations of System Specification.Member of steering committee of the conference series International Conference on Types for Proofs and Programs (TYPES).Editor of the Theoretical Pearls column of the Journal of Functional Programming.Coinvestigator in project Syntax and Semantics of.Principal investigator of project Modalĭependent Type Theory, grant by Vetenskapsrådet 2020-2023. ![]() Theorem Proving and Program Verification. ![]() ![]()
0 Comments
Leave a Reply. |