( en | de | ru )

 

Disambiguierung von "McKinna, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Notions of bidirectional computation and entangled state monads.

, , , , und . CoRR, (2015)

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

Rojin James

Mooleplackal James

 

Weitere Publikationen von Autoren mit dem selben Namen

Eliminating Dependent Pattern Matching, , und . (2004)Dynamic Proof Pages., und . MathWikis@ITP, Volume 767 von CEUR Workshop Proceedings, Seite 45-48. CEUR-WS.org, (2011)Complements Witness Consistency.. Bx@ETAPS, Volume 1571 von CEUR Workshop Proceedings, Seite 90-94. CEUR-WS.org, (2016)Abstracting extensible data types: or, rows by any other name., und . PACMPL, 3 (POPL): 12:1-12:28 (2019)Proviola: A Tool for Proof Re-animation., , , und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 440-454. Springer, (2010)Forward- or reverse-mode automatic differentiation: What's the difference?, , , und . Sci. Comput. Program., (Januar 2024)A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq., und . TYPES, Volume 5497 von Lecture Notes in Computer Science, Seite 256-271. Springer, (2008)A Sequent Calculus for Type Theory., , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 441-455. Springer, (2006)Why dependent types matter.. POPL, Seite 1. ACM, (2006)A Real Semantic Web for Mathematics Deserves a Real Semantics., , , , und . SemWiki, Volume 360 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)