Author of the publication

Contract Soundness for Object-Oriented Languages

, and . Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bay, Florida, ACM Press, (October 2001)

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.

No persons found for author name Findler,
add a person with the name Findler,
 

Other publications of authors with the same name

Contract Soundness for Object-Oriented Languages, and . Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bay, Florida, ACM Press, (October 2001)Mental health and marital adaptation among mothers of children with cerebral palsy., and . Am J Orthopsychiatry, 71 (3): 358--367 (July 2001)DriveIRL: Drive in Real Life with Inverse Reinforcement Learning., , , , , , , , , and 3 other author(s). ICRA, page 1544-1550. IEEE, (2023)Smart Cars as Autonomous Intelligent Agents., and . ICTAI, page 25-32. IEEE Computer Society, (2001)Driving in Real Life with Inverse Reinforcement Learning., , , , , , , , , and 3 other author(s). CoRR, (2022)Emergent behavior in societies of heterogeneous interacting agents: alliances and norms, and . Artificial Societies: The Computer Simulation of Social Life, UCL Press, London, (1995)Fair enumeration combinators., , , and . J. Funct. Program., (2017)Buchbesprechungen., , , , , and . Computing, 10 (4): 397-400 (1972)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters., , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 479-504 (2022)Does blame shifting work?, , , , and . Proc. ACM Program. Lang., 4 (POPL): 65:1-65:29 (2020)