Author of the publication

The Higher-Order Aggregate Update Problem.

, and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 44-58. Springer, (2009)

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

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)Future contracts., , and . PPDP, page 195-206. ACM, (2009)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)Contracts for First-Class Classes., , , and . ACM Trans. Program. Lang. Syst., 35 (3): 11:1-11:58 (2013)A Calculus for Unreachable Code., , , , , and . CoRR, (2024)Effectful Software Contracts., , and . Proc. ACM Program. Lang., 8 (POPL): 2639-2666 (January 2024)Option contracts., , and . OOPSLA, page 475-494. ACM, (2013)Karp: a language for NP reductions., , and . PLDI, page 762-776. ACM, (2022)