andrejbauer

type	title	author	last post
Story	Programming with Algebraic Effects and Handlers eff : shift/reset = while/if-then-else : goto by andrejbauer The only way to trigger an by andrejbauer	Matt Hellige	2015-12-04 03:11
Forum topic	What will programming look like in 2020? . by andrejbauer Humans matter, not machines by andrejbauer	Sean McDirmid	2013-03-01 03:45
Story	Eff - Language of the Future It's not quite right to say by andrejbauer What? by andrejbauer	Matt Hellige	2010-10-03 21:03
Story	A Lambda Calculus for Real Analysis It's a way of thinking by andrejbauer	Paul Snively	2010-02-18 00:25
Story	Verified Programming in Guru Excellent by andrejbauer	James Iry	2009-08-06 19:13
Story	A Functional I/O System (or Fun for Freshman Kids) Coolness factor by andrejbauer	neelk	2009-08-04 03:55
Forum topic	Andrej Bauer on PLD Re-quibble: and I said so by andrejbauer	Charles Stewart	2009-04-27 07:54
Story	Processing.js PL Zoo by andrejbauer	Ehud Lamm	2008-10-30 14:18
Story	Synthetic Computability No effective topos here by andrejbauer	Charles Stewart	2007-05-24 14:51
Story	Propositions as [Types] Please use a newer link to the paper by andrejbauer	neelk	2007-03-06 17:34

Lambda the Ultimate