%0
Generic
%T
Deeper Shallow Embeddings
%A Prinz, Jacob
%A Kavvos, G. A.
%A Lampropoulos, Leonidas
%A Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K shallow embedding
%K Agda
%K type theory
%K deep embedding
%D 2022
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik