Robert Bruce Findler

Available identifiers

Publication	Date of Publication	Type
Sound and complete concolic testing for higher-order functions	2021-10-18	Paper
How to evaluate the performance of gradual type systems	2019-11-22	Paper
Fair enumeration combinators	2019-02-20	Paper
Modular set-based analysis from contracts	2017-08-21	Paper
A Coq Library for Internal Verification of Running-Times	2016-04-04	Paper
Contracts for higher-order functions	2015-10-07	Paper
Operational semantics for multi-language programs	2014-09-12	Paper
Blame for all	2014-04-10	Paper
Correct blame for contracts	2014-04-10	Paper
Macros that work together	2013-08-19	Paper
Modeling Web Interactions and Errors	2013-06-18	Paper
Revised6 Report on the Algorithmic Language Scheme	2010-01-29	Paper
Well-Typed Programs Can’t Be Blamed	2009-03-31	Paper
Scheme with Classes, Mixins, and Traits	2008-05-06	Paper
An operational semantics for Scheme	2008-01-18	Paper
A Rewriting Semantics for Type Inference	2007-09-04	Paper
Contracts as Pairs of Projections	2007-05-02	Paper
Slideshow: functional presentations	2006-08-28	Paper
Selectors make set-based analysis too hard	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4417897	2003-07-30	Paper
DrScheme: a programming environment for Scheme	2002-07-02	Paper
How to design programs. An introduction to programming and computing	2001-09-11	Paper

This page was built for person: Robert Bruce Findler