Sebastian Ullrich

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Functional Programming

Top Venues

Proc. ACM Program. Lang.

Arch. Formal Proofs

Publications

Sebastian Ullrich
Lean: Past, Present, and Future (Invited Talk). FSCD (2024)
Sebastian Ullrich, Leonardo de Moura
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages. Log. Methods Comput. Sci. 18 (2) (2022)
Sebastian Ullrich, Leonardo de Moura
'do' unchained: embracing local imperativity in a purely functional language (functional pearl). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Leonardo de Moura, Sebastian Ullrich
The Lean 4 Theorem Prover and Programming Language. CADE (2021)
Sebastian Ullrich, Leonardo de Moura
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages. CoRR (2020)
Sebastian Ullrich, Leonardo de Moura
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages. IJCAR (2) (2020)
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
Tabled Typeclass Resolution. CoRR (2020)
Sebastian Ullrich, Leonardo de Moura
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming. CoRR (2019)
Sebastian Ullrich, Leonardo de Moura
Counting immutable beans: reference counting optimized for purely functional programming. IFL (2019)
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
A metaprogramming framework for formal verification. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Sebastian Buchwald, Denis Lohner, Sebastian Ullrich
Verified construction of static single assignment form. CC (2016)
Sebastian Ullrich, Denis Lohner
Verified Construction of Static Single Assignment Form. Arch. Formal Proofs 2016 (2016)