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) conference in 1978 [1]. The proceedings [2]…
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 and meta-programming-like overhead, and…
The author's previous post goes into details of a categorial connection: λ-Calculus, Combinatory Logic and Cartesian Closed Categories…
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) conference in 1978 [1]. The proceedings [2]…
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 and meta-programming-like overhead, and…
The author's previous post goes into details of a categorial connection: λ-Calculus, Combinatory Logic and Cartesian Closed Categories…