mikestay

type	title	author	last post
Forum topic	q-Derivatives of datatypes	mikestay	2014-08-05 07:59
Forum topic	Sectioning a chain of operators and dot as reverse application That's nearly what scala has by mikestay Python works that way:class by mikestay	Matt M	2014-05-12 18:17
Forum topic	Policy as Types	mikestay	2014-05-07 16:26
Forum topic	New tutorial blog on category theory for programmers	mikestay	2012-04-03 12:35
Forum topic	"Very linear" lambda calculus	mikestay	2008-09-18 07:27
Forum topic	help with understanding combinatory logic Rosetta stone by mikestay	happycow	2008-06-10 08:13
Forum topic	What kind of a category is the blue calculus? composition by mikestay	mikestay	2008-06-09 16:50

Lambda the Ultimate