( en | de | ru )

 

Disambiguierung von "Danielsson, Nils Anders"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beating the Productivity Checker Using Embedded Languages.

. PAR@ITP, Volume 5 von EPiC Series, Seite 34-54. EasyChair, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eva Danielsson

Inga Danielsson

Nepomuk Felix Nilson

Kombinierte Bestimmung des immunreaktiven Trypsins und des Pankreatitis assoziierten Proteins als mögliche neue Methode des Neugeborenenscreenings auf Mukoviszidose: eine Machbarkeitsstudie. Uni Dresden, (2009)

Nils Anders Stefan Gustafsson

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized., , und . Proc. ACM Program. Lang., 7 (ICFP): 920-954 (August 2023)Operational semantics using the partiality monad.. ICFP, Seite 127-138. ACM, (2012)PiSigma: Dependent Types without the Sugar., , , und . FLOPS, Volume 6009 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2010)Frontmatter, Table of Contents, Preface, Workshop Organization., und . TYPES, Volume 19 von LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Higher Inductive Type Eliminators Without Paths.. TYPES, Volume 175 von LIPIcs, Seite 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Beating the Productivity Checker Using Embedded Languages.. PAR@ITP, Volume 5 von EPiC Series, Seite 34-54. EasyChair, (2010)Matroids from modules., und . MFCSIT, Volume 74 von Electronic Notes in Theoretical Computer Science, Seite 21-38. Elsevier, (2002)Bag Equivalence via a Proof-Relevant Membership Relation.. ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 149-165. Springer, (2012)Functional Program Correctness Through Types.. Chalmers University of Technology, Gothenburg, Sweden, (2007)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:61161).Correct-by-construction pretty-printing.. DTP@ICFP, Seite 1-12. ACM, (2013)