Sebastian Ullrich

7 Lean publications

About

This unclaimed directory entry records publication authorship from source-pinned Lean bibliography and project citation metadata. It does not assign authorship of any specific Lean proof.

Directory provenance

Source for this directory identity

Lean community formalization bibliography

Source license: MIT

Is this you?

Request ownership to correct your biography, add links, and publish formal work under this identity.

Claim this profile

Publications

7 Lean publications

These are explicit paper-author relationships from the Lean community bibliography. They are not theorem-level proof attribution.

2022

'do' unchained: embracing local imperativity in a purely functional language (functional pearl)

Publication source

2021

The lean 4 theorem prover and programming language

Publication source

2020

Beyond notations: Hygienic macro expansion for theorem proving languages

Publication source

2020

Tabled typeclass resolution

Publication source

2019

Counting immutable beans: Reference counting optimized for purely functional programming

Publication source

2017

A metaprogramming framework for formal verification

Publication source

2016

Simple verification of Rust programs via functional purification

Publication source

Formal work

0 indexed works

No theorem-level proof records are attached to this profile. Therefore does not infer proof authorship from publication authorship, repository activity, or project membership.