Autor der Publikation

A Simplified Account of the Metatheory of Linear LF.

, und . LFM, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 11-28. Elsevier, (2002)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated and certified conformance to responsiveness policies., und . TLDI, Seite 79-90. ACM, (2005)An expressive, scalable type theory for certified code., und . ICFP, Seite 191-205. ACM, (2002)SIGPLAN Notices 37(9), September 2002.A typed interface for garbage collection., und . TLDI, Seite 109-122. ACM, (2003)Typed compilation of recursive datatypes., , , , , und . TLDI, Seite 98-108. ACM, (2003)Data filtering for automatic classification of rocks from reflectance spectra., , und . KDD, Seite 347-352. ACM, (2001)A Simplified Account of the Metatheory of Linear LF., und . LFM, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 11-28. Elsevier, (2002)