Autor der Publikation

The F# Asynchronous Programming Model.

, , und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 175-189. Springer, (2011)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Browser-based software for technology transfer., , , , , und . SAICSIT, Seite 338-340. ACM, (2011)Transposing F to C#: expressivity of parametric polymorphism in an object-oriented language., und . Concurr. Pract. Exp., 16 (7): 707-733 (2004)Gradients without Backpropagation., , , , und . CoRR, (2022)ILX: Extending the .NET Common IL for Functional Language Interoperability.. BABEL, Volume 59 von Electronic Notes in Theoretical Computer Science, Seite 53-72. Elsevier, (2001)Proving Java Type Soundness.. Formal Syntax and Semantics of Java, Volume 1523 von Lecture Notes in Computer Science, Seite 83-118. Springer, (1999)Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge.. ML, Volume 148 von Electronic Notes in Theoretical Computer Science, Seite 3-25. Elsevier, (2005)Collecting hollywood's garbage: avoiding space-leaks in composite events., und . ISMM, Seite 53-62. ACM, (2010)In the Age of Web: Typed Functional-First Programming Revisited., , und . ML/OCaml, Volume 198 von EPTCS, Seite 64-79. (2014)A New Interface for HOL - Ideas, Issues and Implementation.. TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 324-339. Springer, (1995)A Theory of Finite Maps., und . TPHOLs, Volume 971 von Lecture Notes in Computer Science, Seite 122-137. Springer, (1995)