In the process of formalizing generics for my Lisp, I'm also studying FGJ ω again, the extension of Featherweight Generic Java with hi...

In the previous post, Minimal generics for an untyped language , I've discussed some basic requirements for the implementation of parame...

So, I'm developing a Lisp, which means I have to support untyped, dynamically type-checked code in any case. But I still like typeful pr...