Kyoto, Japan

R.Kashiwagi

Advanced
@ksrky

Plato. A purely functional programming language based on higher-order polymorphic lambda calculus

24

type-inference. Type inference algorithms for functional programming languages

11

lambda-calculus. Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of Construction (CoC).

6

p3. Programmable Pratt Parser

2

CEPlatform. TypeScript

1

planqc2026. TeX

1

Tiger-Haskell. Haskell implementation of Andrew Appel's "Modern Compiler Implementation in ML".

1
7
Apply