Search filters

List of works by Robert Bruce Findler

A programmable programming language

Blame for all

Blame for all

Blame for all

Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters

scientific article published on 31 October 2022

How to Design Programs

Computer programming textbook by Matthias Felleisen and colleagues

Kill-safe synchronization abstractions

article

POP-PL: a patient-oriented prescription programming language

scholarly article published 2015

POP-PL: a patient-oriented prescription programming language

scholarly article by Spencer P. Florence et al published 26 October 2015 in ACM SIGPLAN Notices

Rhombus: A New Spin on Macros without All the Parentheses

scientific article published on 16 October 2023

The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)

scientific article published on 15 August 2024

Paulina is supported by:

About Paulina

Help