Inside PRL

Reading between the parentheses

Posts tagged HOPL

No Good Answers, Gradually Typed Object-Oriented Languages

2017-05-09 :: HOPL, Gradual Typing

Categorical Semantics for Dynamically Typed Programming Languages

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

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, 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