( en | de | ru )

 

Disambiguierung von "Lindley, Sam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.

, , und . MSFP@ICALP, Volume 229 von Electronic Notes in Theoretical Computer Science, Seite 97-117. Elsevier, (2008)

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.

Sam Lindley

Margret Lindley

Ebie Sam

Inn Sam

Sam Dahlgren

 

Weitere Publikationen von Autoren mit dem selben Namen

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous., , und . MSFP@ICALP, Volume 229 von Electronic Notes in Theoretical Computer Science, Seite 97-117. Elsevier, (2008)Scoped Effects as Parameterized Algebraic Theories., , , , , und . ESOP (1), Volume 14576 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2024)Modal Effect Types., , , , , und . CoRR, (2024)Constraint-based type inference for FreezeML., , , und . CoRR, (2022)Effects for efficiency: asymptotic speedup with first-class control., , und . Proc. ACM Program. Lang., 4 (ICFP): 100:1-100:29 (2020)Scalable Handling of Effects (Dagstuhl Seminar 21292)., , , und . Dagstuhl Reports, 11 (6): 54-81 (2021)A Typed Slicing Compilation of the Polymorphic RPC calculus., , , und . PPDP, Seite 11:1-11:15. ACM, (2021)Bringing the WebAssembly Standard up to Speed with SpecTec., , , , , , , , , und 1 andere Autor(en). Proc. ACM Program. Lang., 8 (PLDI): 1559-1584 (2024)The Functional Essence of Imperative Binary Search Trees., , , und . Proc. ACM Program. Lang., 8 (PLDI): 518-542 (2024)Behavioural Types for Heterogeneous Systems (Position Paper)., , , , , und . PLACES@ETAPS, Volume 401 von EPTCS, Seite 37-48. (2024)