CFA2: a Context-Free Approach to Control-Flow Analysis von Vardoulakis, Dimitrios, Shivers, Olin

Volltext

Exploiting reachability and cardinality in higher-order flow analysis von MIGHT, MATTHEW, SHIVERS, OLIN

Volltext

Analyzing binding extent in 3CPS von Quiring, Benjamin, Reppy, John, Shivers, Olin

Volltext

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming von Augustsson, Lennart, Breitner, Joachim, Claessen, Koen, Jhala, Ranjit, Peyton Jones, Simon, Shivers, Olin, Steele Jr, Guy L., Sweeney, Tim

Volltext

No-brainer CPS conversion (functional pearl) von Davis, Milo, Meehan, William, Shivers, Olin

Volltext

Pushdown flow analysis of first-class control von Vardoulakis, Dimitrios, Shivers, Olin

Volltext

An Array-Oriented Language with Static Rank Polymorphism von Slepak, Justin, Shivers, Olin, Manolios, Panagiotis

Volltext

A universal scripting framework or Lambda: The ultimate “little language” von Shivers, Olin

Volltext

Introduction to Rank-polymorphic Programming in Remora (Draft) von Shivers, Olin, Slepak, Justin, Manolios, Panagiotis

Volltext bestellen

Demand-driven type inference with subgoal pruning: Trading precision for scalability von SPOON, S. Alexander, SHIVERS, Olin

Volltext

The Semantics of Rank Polymorphism von Slepak, Justin, Shivers, Olin, Manolios, Panagiotis

Volltext bestellen

Why teach programming languages von Shivers, Olin

Volltext

Bottom-Up beta-Substitution: Uplinks and lambda-DAGs von Shivers, Olin, Wand, Mitchell

Volltext

CFA2: a Context-Free Approach to Control-Flow Analysis von Vardoulakis, Dimitrios, Shivers, Olin

Volltext

The Semantics of Rank Polymorphism von Slepak, Justin, Shivers, Olin, Manolios, Panagiotis

Volltext

The anatomy of a loop:a story of scope and control von Shivers, Olin

Volltext

Editorial von Felleisen, Matthias, Lawall, Julia, Serrano, Manuel, Shivers, Olin

Volltext

Continuations and transducer composition von Shivers, Olin, Might, Matthew

Volltext

Improving flow analyses via ΓCFA: abstract garbage collection and counting von Might, Matthew, Shivers, Olin

Volltext

Scheme and functional programming von FELLEISEN, Matthias, LAWALL, Julia, SERRANO, Manuel, SHIVERS, Olin

Volltext