Viewing profile — ThyerMJ26

I'm hoping they digitize some of the older archives they have in storage. For example, they apparently have 23 U-Matic tapes of the HOPL (History of Programming Languages) conferen…

Joel Jakubovic's talk is here: https://youtu.be/gD7ajjCHYbU?t=20378 It includes Q+As from a number of people, including Stephen Kell.

I've been working on a functional language and a specializing translator (a specialator) based on graph-reduction beneath lambdas. The intention is to specialize away interpretive …

The author's previous post goes into details of a categorial connection: λ-Calculus, Combinatory Logic and Cartesian Closed Categories https://thma.github.io/posts/2021-04-04-Lambd…