ThyerMJ26

3 ms·

1. 1.▲
   by ThyerMJ26 8mo ago

   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] describe one of the
2. 2.▲
   by ThyerMJ26 1y ago

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

   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 then translat
4. 4.▲
   by ThyerMJ26 1y ago

   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-Lambda-Calculus-Combinatory-Logic-