h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Unruh, Dominique
%T With-Type – Poor man's dependent types
%J Archive of formal proofs
%@ 2150-914x
%C San Diego, CA
%I SourceForge
%M RWTH-2025-02062
%P August 29, 2024
%D 2024
%F PUB:(DE-HGF)16
%9 Journal Article
%U https://publications.rwth-aachen.de/record/1005867