Robert Bruce Findler
From MaRDI portal
Person:812079
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
