( en | de | ru )

 

Disambiguation of "Lindley, Sam"

Author of the publication

copydeleteadd this publication to your clipboard
Wasm SpecTec: Engineering a Formal Language Standard.

, , , , , , , , , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sam Lindley

Sam

Margret Lindley

Inn Sam

Ebie Sam

 

Other publications of authors with the same name

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