Inside PRL

Reading between the parentheses

Posts tagged HOPL

No Good Answers, Gradually Typed Object-Oriented Languages

2017-05-09 :: HOPL, Gradual Typing, by Ben Chung

Categorical Semantics for Dynamically Typed Programming Languages

2017-05-01 :: HOPL, category theory, dynamic typing, gradual typing, by Max New

What is Soft Typing?

2017-04-28 :: HOPL, by Ben Greenman

Refinement Types

2017-04-20 :: HOPL, by Kevin Clancy

Type-Directed Compilation, Parts I and II

2017-04-17 :: HOPL, by Leif Andersen, by William J. Bowman

Top Five Results of the Past 50 Years of Programming Languages Research

2017-04-04 :: HOPL, by Ben Greenman

Over the past 50 years, which result from programming languages research has had the greatest impact on working programmers?

Tracing JITs for Dynamic Languages

2017-03-15 :: HOPL, by Ming-Ho Yee

Type Inference in Stack-Based Programming Languages

2017-03-10 :: HOPL, by Rob Kleffner

Linear Types for Low-level Languages

2017-02-28 :: HOPL, by Daniel Patterson

Datalog for Static Analysis

2017-02-21 :: HOPL, by Ben Greenman