( en | de | ru )

 

Disambiguation of "McKinna, James"

Author of the publication

copydeleteadd this publication to your clipboard
Certified Complexity (CerCo).

, , , , , , , , , , , , , , and . FOPARA, volume 8552 of Lecture Notes in Computer Science, page 1-18. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Other publications of authors with the same name

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