Robert Bruce Findler
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Journal of Functional Programming | 2019-11-22 | Paper |
| Fair enumeration combinators Journal of Functional Programming | 2019-02-20 | Paper |
| Modular set-based analysis from contracts Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| A Coq library for internal verification of running-times Functional and Logic Programming | 2016-04-04 | Paper |
| Contracts for higher-order functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Operational semantics for multi-language programs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Blame for all Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Correct blame for contracts, no more scapegoating Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Macros that work together Journal of Functional Programming | 2013-08-19 | Paper |
| Modeling web interactions and errors Interactive Computation | 2013-06-18 | Paper |
| Revised\(^{6}\) report on the algorithmic language scheme Journal of Functional Programming | 2010-01-29 | Paper |
| Well-Typed Programs Can’t Be Blamed Programming Languages and Systems | 2009-03-31 | Paper |
| Scheme with Classes, Mixins, and Traits Programming Languages and Systems | 2008-05-06 | Paper |
| An operational semantics for Scheme Journal of Functional Programming | 2008-01-18 | Paper |
| A Rewriting Semantics for Type Inference Programming Languages and Systems | 2007-09-04 | Paper |
| Contracts as Pairs of Projections Functional and Logic Programming | 2007-05-02 | Paper |
| Slideshow: functional presentations Journal of Functional Programming | 2006-08-28 | Paper |
| Selectors make set-based analysis too hard Higher-Order and Symbolic Computation | 2006-01-23 | Paper |
| scientific article; zbMATH DE number 1956557 (Why is no real title available?) | 2003-07-30 | Paper |
| DrScheme: a programming environment for Scheme Journal of Functional Programming | 2002-07-02 | Paper |
| How to design programs. An introduction to programming and computing | 2001-09-11 | Paper |
Research outcomes over time
This page was built for person: Robert Bruce Findler
