Groups
Sign in
Groups
SF-TTPL
Conversations
About
Send feedback
Help
SF-TTPL
Contact owners and managers
1–9 of 9
Mark all as read
Report group
0 selected
Juan Pineda
,
Adrian King
7
11/10/14
My untyped lambda calculus interpreter
I got a message from someone named Lewis Baxter complaining that my Prolog interpreter couldn't
unread,
My untyped lambda calculus interpreter
I got a message from someone named Lewis Baxter complaining that my Prolog interpreter couldn't
11/10/14
Adrian King
2
4/8/14
My simply typed lambda calculus interpreter
Here is the code that compiles the simply typed lambda calculus for the untyped interpreter of my
unread,
My simply typed lambda calculus interpreter
Here is the code that compiles the simply typed lambda calculus for the untyped interpreter of my
4/8/14
Adrian King
3/3/14
Worth Reading
I'm discovering that the prerelease version of Bob Harper's Practical Foundations for
unread,
Worth Reading
I'm discovering that the prerelease version of Bob Harper's Practical Foundations for
3/3/14
Adrian King
, …
Tikhon Jelvis
14
2/25/14
The infinite tower of questions; or, what topic for 24 March?
Tikhon, thanks for the reference. I did read the Taste of Linear Logic introductory paper, but that
unread,
The infinite tower of questions; or, what topic for 24 March?
Tikhon, thanks for the reference. I did read the Taste of Linear Logic introductory paper, but that
2/25/14
Adrian King
2/19/14
A not entirely true but rather amusing history of programming languages
Some wonderful misinformation to counter all the truths we've been uncovering: http://
unread,
A not entirely true but rather amusing history of programming languages
Some wonderful misinformation to counter all the truths we've been uncovering: http://
2/19/14
Adrian King
,
Tikhon Jelvis
5
2/16/14
* : *
Just finished reading the Cardelli paper. The part about retractions is quite alarming. The λτ-
unread,
* : *
Just finished reading the Cardelli paper. The part about retractions is quite alarming. The λτ-
2/16/14
Jay Adkisson
2/11/14
IRC
I'll be hanging out in ##sf-ttpl on Freenode in case anybody wants to chat about this stuff in
unread,
IRC
I'll be hanging out in ##sf-ttpl on Freenode in case anybody wants to chat about this stuff in
2/11/14
Adrian King
,
brinkle...@ssd.loral.com
4
2/11/14
So, like, logistics
I was wondering whether meetup let me change the threshold for non-organizer-announced meetings from
unread,
So, like, logistics
I was wondering whether meetup let me change the threshold for non-organizer-announced meetings from
2/11/14
Sergei Winitzki
, …
James Koppel
10
1/29/14
Logic Programming
Thanks - the "typestate" concept is new to me, I will have to read the paper. This looks
unread,
Logic Programming
Thanks - the "typestate" concept is new to me, I will have to read the paper. This looks
1/29/14