Author of the publication

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.

 

Other publications of authors with the same name

Contracts for First-Class Classes., , , and . ACM Trans. Program. Lang. Syst., 35 (3): 11:1-11:58 (2013)Whip: higher-order contracts for modern services., , and . Proc. ACM Program. Lang., 1 (ICFP): 36:1-36:28 (2017)Complete Monitors for Behavioral Contracts., , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 214-233. Springer, (2012)Extensible access control with authorization contracts., , , , and . OOPSLA, page 214-233. ACM, (2016)SHILL: A Secure Shell Scripting Language., , , and . OSDI, page 183-199. USENIX Association, (2014)Future contracts., , and . PPDP, page 195-206. ACM, (2009)Effectful Software Contracts., , and . Proc. ACM Program. Lang., 8 (POPL): 2639-2666 (January 2024)Oh Lord, please don't let contracts be misunderstood (functional pearl)., , , and . ICFP, page 117-131. ACM, (2016)Karp: a language for NP reductions., , and . PLDI, page 762-776. ACM, (2022)Option contracts., , and . OOPSLA, page 475-494. ACM, (2013)