2 ms·
Title is "1ML for non-specialists: introduction". From the article: > 1ML is a type system designed by Andreas Rossberg and described in a ollection of papers
by abetusk 10mo ago
Title is "1ML for non-specialists: introduction".
From the article:
> 1ML is a type system designed by Andreas Rossberg and described in a ollection of papers by him