James McKinna | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Tom Schrijvers
15 publications
Ornela Dardha
14 publications
Sam Lindley
13 publications
Michel Steuwer
10 publications
Robert Atkey
8 publications
Wenhao Tang
8 publications
Birthe van den Berg
6 publications
James Chapman
6 publications
Guillaume Allais
5 publications
Daniel Hillerström
4 publications
Rongxiao Fu
3 publications

research

∙ 04/17/2023

Structural Subtyping as Parametric Polymorphism

Structural subtyping and parametric polymorphism provide a similar kind ...

0 Wenhao Tang, et al. ∙

research

∙ 12/21/2022

Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?

Automatic differentiation (AD) has been a topic of interest for research...

0 Birthe van den Berg, et al. ∙

research

∙ 01/29/2020

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Almost every programming language's syntax includes a notion of binder a...

0 Guillaume Allais, et al. ∙