Introduction| wiki.alopex.li
On my [toy compiler](https://wolfgirl.dev/blog/2024-10-17-work-on-my-toy-compiler-is-progressing-smoothly/), I have a lot of AST manipula...| wolfgirl.dev
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In ...| Proceedings of the ACM on Programming Languages
An attempt at making type checkers for System F and System Fω. Based largely off of Pierce's Types And Programming Languages reference implementations, available here. I ported them from OCaml to Rust, mainly 'cause I find that a good way to go through all the details of a program and understand how they work. I've included copies of the relevant ones for easier reference and to help with debugging.| hg.sr.ht
This post is a continuation of my posts discussing the topic of| smallcultfollowing.com
This post is a continuation of my posts discussing the topic of| smallcultfollowing.com
Hello. This post is a continuation of my posts discussing the topic of| smallcultfollowing.com
So for the end of last week, I was at Rust Belt Rust. This was| smallcultfollowing.com
| www.cis.upenn.edu