Follow
Sebastian Ullrich
Title
Cited by
Cited by
Year
The Lean 4 Theorem Prover and Programming Language (System Description)
L de Moura, S Ullrich
Proceedings of the 28th International Conference on Automated Deduction, 2021
134*2021
A Metaprogramming Framework for Formal Verification
G Ebner, S Ullrich, J Roesch, J Avigad, L de Moura
Proceedings of the ACM on Programming Languages 1 (ICFP), 34, 2017
1092017
Counting immutable beans: Reference counting optimized for purely functional programming
S Ullrich, L de Moura
Proceedings of the 31st Symposium on Implementation and Application of …, 2019
272019
Tabled typeclass resolution
D Selsam, S Ullrich, L de Moura
arXiv preprint arXiv:2001.04301, 2020
232020
Simple Verification of Rust Programs via Functional Purification
S Ullrich
Karlsruhe Institute of Technology, 2016
222016
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
S Ullrich, L de Moura
Logical Methods in Computer Science 18, 2022
182022
Verified construction of static single assignment form
S Buchwald, D Lohner, S Ullrich
Proceedings of the 25th International Conference on Compiler Construction, 67-76, 2016
152016
‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl)
S Ullrich, L de Moura
Proceedings of the ACM on Programming Languages 6 (ICFP), 512–539, 2022
32022
An Extensible Theorem Proving Frontend
SA Ullrich
Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2023, 2023
22023
The Lean reference manual
J Avigad, G Ebner, S Ullrich
22017
Verified Construction of Static Single Assignment Form
S Ullrich, D Lohner
Archive of Formal Proofs, 2016
22016
Beyond notations: Hygienic macro expansion for theorem proving languages
S Ullrich, L de Moura
International Joint Conference on Automated Reasoning, 167-182, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–12