Operational Semantics for Multi-Language Programs von MATTHEWS, Jacob, FINDLER, Robert Bruce

Volltext

The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) von Serrano, Manuel, Findler, Robert Bruce

Volltext

Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters von Hoeflich, Joshua, Findler, Robert Bruce, Serrano, Manuel

Volltext

Lazy Contract Checking for Immutable Data Structures von Findler, Robert Bruce, Guo, Shu-yu, Rogers, Anne

Volltext

How to evaluate the performance of gradual type systems von GREENMAN, BEN, TAKIKAWA, ASUMU, NEW, MAX S., FELTEY, DANIEL, FINDLER, ROBERT BRUCE, VITEK, JAN, FELLEISEN, MATTHIAS

Volltext

A Coq library for internal verification of running-times von McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

Volltext

Well-Typed Programs Can’t Be Blamed von Wadler, Philip, Findler, Robert Bruce

Volltext

How to Design Programs: An Introduction to Programming and Computing von Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram

Volltext

The structure and interpretation of the computer science curriculum von FELLEISEN, MATTHIAS, FINDLER, ROBERT BRUCE, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM

Volltext

Fair enumeration combinators von NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY

Volltext

Collapsible contracts: fixing a pathology of gradual typing von Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent

Volltext

Special Issue Dedicated to ICFP 2012: Editorial von SINGH, SATNAM, FINDLER, ROBERT BRUCE

Volltext

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System von Fetscher, Burke, Claessen, Koen, Pałka, Michał, Hughes, John, Findler, Robert Bruce

Volltext

Rhombus: A New Spin on Macros without All the Parentheses von Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam

Volltext

Does blame shifting work? von Lazarek, Lukas, King, Alexis, Sundar, Samanvitha, Findler, Robert Bruce, Dimoulas, Christos

Volltext

Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts von FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

Volltext

A calculus for Esterel: if can, can. if no can, no can von Florence, Spencer P., You, Shu-Hung, Tov, Jesse A., Findler, Robert Bruce

Volltext

Contracts as pairs of projections von FINDLER, Robert Bruce, BLUME, Matthias

Volltext

Blame for all von Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Volltext

Contracts for higher-order functions von Findler, Robert Bruce, Felleisen, Matthias

Volltext