Simple Programming Languages (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 22 Mar 2024 01:29
comments (13)
Advanced Typechecking for Stack-Based Bytecode (SaberVM) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 20 Feb 2024 01:43
comments (0)
A Beginner's Guide to Programming Language Academia (blog) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 29 Jan 2024 17:39
comments (0)
Safe Manual Memory Management with Coeffects (blog) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 26 Jan 2024 04:39
comments (0)
Security and Crashing with Modal Logic (blog post) (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 19 Dec 2023 04:06
comments (1)
Implicit Products: A Better Type-Theoretic "Forall" (ryanbrewer.dev)
in programming_languages@programming.dev from armchair_progamer@programming.dev on 12 Dec 2023 16:55
comments (0)