Home Archives

2023

Jun 27

Internalizing computing

Jan 8

A tale of sum types on Linear F

Tags

cross-compile
errors
lambda
linear
mobile
native
ocaml
reason
rewriting
theory
typer

Tag Cloud

cross-compile errors lambda linear mobile native ocaml reason rewriting theory typer

Archives

August 2024
June 2023
January 2023
September 2021
August 2020

Recent Posts

Reversing normalization for errors
Internalizing computing
A tale of sum types on Linear F
A different level based typer
A journey into Reason Mobile