Type Inference in Stack-Based Programming Languages
https://prl.khoury.northeastern.edu/blog/static/stack-languages-talk-notes.pdf
Type Inference in Stack-Based Programming Languages 6 comments
@toxi haha, wow. I hesitated before asking, but I'm glad I did! I knew you must had more. Thank you 💜 @neauoire My pleasure - I wish could prioritize experimenting more with some of those ideas myself... Ps. ...and sorry I made you feel hesitant to ask, always happy to help (when I can)! |
@neauoire A classic! Alone the opening statement is gold:
"For those of you concerned with theorems and proofs, I apologize, today is going to be a very bad day."
If you haven't done so yet, also recommend checking out his dissertation: "A foundation for typed concatenative languages"
https://www2.ccs.neu.edu/racket/pubs/dissertation-kleffner.pdf