E-LIB Suche - Ergebnisse für: McKinna, James

1

Forward- or reverse-mode automatic differentiation: What's ..:

van den Berg, Birthe ; Schrijvers, Tom ; McKinna, James.
Science of Computer Programming. 231 (2024) - p. 103010 , 2024

2

Structural Subtyping as Parametric Polymorphism:

Tang, Wenhao ; Hillerström, Daniel ; McKinna, James...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1093-1121 , 2023

Link: https://doi.org/10.1145/..

3

A type- and scope-safe universe of syntaxes with binding: t..:

ALLAIS, GUILLAUME ; ATKEY, ROBERT ; CHAPMAN, JAMES..
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

4

Proceedings of the 5th ACM SIGPLAN International Workshop o..:

McKinna, James ; Omar, Cyrus , 2020

Link: https://dl.acm.org/doi/1..

5

Abstracting extensible data types: or, rows by any other na..:

Morris, J. Garrett ; McKinna, James
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-28 , 2019

Link: https://dl.acm.org/doi/1..

6

Abstracting extensible data types: or, rows by any other na..:

Morris, J. Garrett ; McKinna, James
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-28 , 2019

Link: https://doi.org/10.1145/..

7

Triangulating context lemmas:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

McLaughlin, Craig ; McKinna, James ; Stark, Ian - p. 102-114 , 2018

Link: https://dl.acm.org/doi/1..

8

A type and scope safe universe of syntaxes with binding: th..:

Allais, Guillaume ; Atkey, Robert ; Chapman, James..
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

Link: https://dl.acm.org/doi/1..

9

A type and scope safe universe of syntaxes with binding: th..:

Allais, Guillaume ; Atkey, Robert ; Chapman, James..
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

Link: https://doi.org/10.1145/..

10

Type-and-scope safe programs and their proofs:

, In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs,

Allais, Guillaume ; Chapman, James ; McBride, Conor. - p. 195-207 , 2017

Link: https://dl.acm.org/doi/1..

11

TheλμT-calculus:

Geuvers, Herman ; Krebbers, Robbert ; McKinna, James
Annals of Pure and Applied Logic. 164 (2013) 6 - p. 676-701 , 2013

Link: https://doi.org/10.1016/..

12

Narrating Formal Proof (Work in Progress):

Tankink, Carst ; Geuvers, Herman ; McKinna, James
Electronic Notes in Theoretical Computer Science. 285 (2012) - p. 71-83 , 2012

Link: https://doi.org/10.1016/..

13

Type inference in context:

, In: Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming,

Gundry, Adam ; McBride, Conor ; McKinna, James - p. 43-54 , 2010

Link: https://dl.acm.org/doi/1..

14

Proviola: A Tool for Proof Re-animation:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Tankink, Carst ; Geuvers, Herman ; McKinna, James. - p. 440-454 , 2010

Link: https://doi.org/10.1007/..

15

Proviola : a tool for proof re-animation:

, In: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics,

Tankink, Carst ; Geuvers, Herman ; McKinna, James. - p. 440-454 , 2010

Link: https://dl.acm.org/doi/1..