CUFinder

Anton Lorenzen

About Anton Lorenzen

Anton Lorenzen, With an exceptional h-index of 3 and a recent h-index of 3 (since 2020), a distinguished researcher at Rheinische Friedrich-Wilhelms-Universität Bonn, specializes in the field of Proof Assistants, Functional Programming.

His recent articles reflect a diverse array of research interests and contributions to the field:

Tail Recursion Modulo Context: An Equational Approach

FP²: Fully in-Place Functional Programming

CICM’22 System Entries

Reference counting with frame limited reuse

Optimizing Reference Counting with Borrowing

Beautiful formalizations in Isabelle/Naproche

Dealing with Soft Types in Naproche’s Logical Backend

The Isabelle/Naproche natural language proof assistant

Anton Lorenzen Information

University

Position

Master student

Citations(all)

28

Citations(since 2020)

28

Cited By

1

hIndex(all)

3

hIndex(since 2020)

3

i10Index(all)

0

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Anton Lorenzen Skills & Research Interests

Proof Assistants

Functional Programming

Top articles of Anton Lorenzen

Tail Recursion Modulo Context: An Equational Approach

Proceedings of the ACM on Programming Languages

2023/1/9

Anton Lorenzen
Anton Lorenzen

H-Index: 1

FP²: Fully in-Place Functional Programming

Proceedings of the ACM on Programming Languages

2023/8/30

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Wouter Swierstra
Wouter Swierstra

H-Index: 12

CICM’22 System Entries

2022/9/17

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Reference counting with frame limited reuse

Proceedings of the ACM on Programming Languages

2022/8/29

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Optimizing Reference Counting with Borrowing

2021/11/29

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Beautiful formalizations in Isabelle/Naproche

2021/7/20

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

Dealing with Soft Types in Naproche’s Logical Backend

2021

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

The Isabelle/Naproche natural language proof assistant

2021

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche

2021

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

ForTheL for Type Theory

2020

Peter Koepke
Peter Koepke

H-Index: 10

Interpreting mathematical texts in Naproche-SAD

2020

Peter Koepke
Peter Koepke

H-Index: 10

Anton Lorenzen
Anton Lorenzen

H-Index: 1

See List of Professors in Anton Lorenzen University(Rheinische Friedrich-Wilhelms-Universität Bonn)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine