( en | de | ru )

 

Disambiguierung von "Ghani, Neil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A principled approach to programming with nested types in Haskell.

, und . High. Order Symb. Comput., 22 (2): 155-189 (2009)

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.

James Neil

Katharine Neil

Fatemeh Ghani

Henryk Neils

Mattis Neiling

 

Weitere Publikationen von Autoren mit dem selben Namen

A compositional approach to economic game theory., und . CoRR, (2016)A principled approach to programming with nested types in Haskell., und . High. Order Symb. Comput., 22 (2): 155-189 (2009)Linear Explicit Substitutions., , und . Logic Journal of the IGPL, 8 (1): 7-31 (2000)Eta-Expansions in Dependent Type Theory - The Calculus of Constructions.. TLCA, Volume 1210 von Lecture Notes in Computer Science, Seite 164-180. Springer, (1997)Refining Inductive Types, , und . Logical Methods in Computer Science, (2012)Generalizing the AUGMENT combinator., , und . Trends in Functional Programming, Volume 5 von Trends in Functional Programming, Seite 65-78. Intellect, (2004)Compositional Game Theory, Compositionally., , , , , und . ACT, Volume 333 von EPTCS, Seite 198-214. (2020)Categorical Foundations of Gradient-Based Learning., , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 1-28. Springer, (2022)Computing over K-modules., und . CATS, Volume 61 von Electronic Notes in Theoretical Computer Science, Seite 34-50. Elsevier, (2002)Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law., , , und . ACT, Volume 323 von EPTCS, Seite 95-105. (2019)