Advanced Typechecking for Stack-Based Bytecode (opens in new tab)

(ryanbrewer.dev)

1 pointshoping12y ago1 comments

1 comments

1 comments · 1 top-level

I wrote a little post about the typechecking algorithm I devised for SaberVM, a typed stack-based bytecode language like Web Assembly, designed from the ground up for being the target of functional programming languages

j / k navigate · click thread line to collapse