( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Oh Lord, please don't let contracts be misunderstood (functional pearl).

, , , и . ICFP, стр. 117-131. ACM, (2016)

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.

Robert Bruce Trumbull

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Robert Orlan Bruce Niles

Beate Maria Bruce-Micah

 

Другие публикации лиц с тем же именем

Distributed Places., , , , и . Trends in Functional Programming, том 8322 из Lecture Notes in Computer Science, стр. 34-57. Springer, (2013)Fair enumeration combinators., , , и . J. Funct. Program., (2017)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters., , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 479-504 (2022)Does blame shifting work?, , , , и . Proc. ACM Program. Lang., 4 (POPL): 65:1-65:29 (2020)Collapsible contracts: fixing a pathology of gradual typing., , , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 133:1-133:27 (2018)Herbarium Racketensis: a stroll through the woods (functional pearl)., , , , и . Proc. ACM Program. Lang., 1 (ICFP): 1:1-1:15 (2017)Sound and Complete Concolic Testing for Higher-order Functions., , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 635-663. Springer, (2021)Operational semantics for multi-language programs., и . POPL, стр. 3-10. ACM, (2007)Run your research: on the effectiveness of lightweight mechanization., , , , , , , , , и . POPL, стр. 285-296. ACM, (2012)Blame for all., , , и . STOP@ECOOP, стр. 1-13. ACM, (2009)