( en | de | ru )

 

Disambiguierung von "McKinna, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstracting extensible data types: or, rows by any other name.

, und . Proc. ACM Program. Lang., 3 (POPL): 12:1-12:28 (2019)

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.

Michael James

Audrein James

Katherine James

Mooleplackal James

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

The lambda-mu-T-calculus, , und . CoRR, (2012)A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs., , , , und . CoRR, (2020)Eliminating Dependent Pattern Matching, , und . (2004)Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?, , , und . CoRR, (2022)Complements Witness Consistency.. Bx@ETAPS, Volume 1571 von CEUR Workshop Proceedings, Seite 90-94. CEUR-WS.org, (2016)Narrating Formal Proof (Work in Progress)., , und . UITP, Volume 285 von Electronic Notes in Theoretical Computer Science, Seite 71-83. Elsevier, (2010)Dynamic Proof Pages., und . MathWikis@ITP, Volume 767 von CEUR Workshop Proceedings, Seite 45-48. CEUR-WS.org, (2011)The λμT-calculus., , und . Ann. Pure Appl. Log., 164 (6): 676-701 (2013)Abstracting extensible data types: or, rows by any other name., und . Proc. ACM Program. Lang., 3 (POPL): 12:1-12:28 (2019)Forward- or reverse-mode automatic differentiation: What's the difference?, , , und . Sci. Comput. Program., (Januar 2024)