Pinboard (cstrahan) https://pinboard.in/u:cstrahan/public/ recent bookmarks from cstrahan mazzo.li – blag – Agda by Example: λ-calculus 2015-01-06T21:36:14+00:00 http://mazzo.li/posts/Lambda.html cstrahanagda lambda-calculus https://pinboard.in/ https://pinboard.in/u:cstrahan/b:8ce57154eddc/ To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction 2014-05-02T20:30:01+00:00 http://dkeenan.com/Lambda/index.htm cstrahanlambda-calculus https://pinboard.in/ https://pinboard.in/u:cstrahan/b:f6341be8ab67/ NYU Lambda Seminar 2013-10-10T17:36:21+00:00 http://lambda.jimpryor.net/ cstrahanresearch lambda-calculus https://pinboard.in/ https://pinboard.in/u:cstrahan/b:9b94d063e9dc/ Programming with Continuations 2012-11-16T03:07:42+00:00 http://www.cs.indiana.edu/ftp/techreports/TR151.pdf cstrahanresearch lambda-calculus pdf https://pinboard.in/ https://pinboard.in/u:cstrahan/b:fef570bcf3d4/ A Syntactic Theory of Sequential Control 2012-11-16T03:04:58+00:00 http://www.cs.tufts.edu/~nr/cs257/archive/matthias-felleisen/sequential-control.pdf cstrahanlambda-calculus pdf research https://pinboard.in/ https://pinboard.in/u:cstrahan/b:43f47dbf6473/ Lecture Notes on the Lambda Calculus 2012-11-15T23:06:05+00:00 http://www.mscs.dal.ca/~selinger/papers/papers/lambdanotes.pdf cstrahanpdf lambda-calculus research https://pinboard.in/ https://pinboard.in/u:cstrahan/b:9d7c6652b0ac/ Control Operators, the SECD-Machine and the lambda-calculus 2012-11-15T23:05:40+00:00 http://www.cs.indiana.edu/pub/techreports/TR197.pdf cstrahanlambda-calculus research pdf https://pinboard.in/ https://pinboard.in/u:cstrahan/b:5f7e4003c848/ www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf 2012-11-14T23:02:08+00:00 http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf cstrahanlambda-calculus research https://pinboard.in/ https://pinboard.in/u:cstrahan/b:a75afecaf0fa/ (Mis)using C# 4.0 Dynamic – Type-Free Lambda Calculus, Church Numerals, and more - B# .NET Blog 2012-01-26T13:51:24+00:00 http://community.bartdesmet.net/blogs/bart/archive/2009/08/17/mis-using-c-4-0-dynamic-type-free-lambda-calculus-church-numerals-and-more.aspx cstrahanlambda-calculus https://pinboard.in/ https://pinboard.in/u:cstrahan/b:c6e906648dc2/