Posts By: andrejbauer
| Date | Post | Topic |
| 03/21/2012 | eff : shift/reset = while/if-then-else : goto | Programming with Algebraic Effects and Handlers |
| 03/21/2012 | The only way to trigger an | Programming with Algebraic Effects and Handlers |
| 09/29/2010 | What? | Eff - Language of the Future |
| 09/30/2010 | It's not quite right to say | Eff - Language of the Future |
| 02/17/2010 | It's a way of thinking | A Lambda Calculus for Real Analysis |
| 08/05/2009 | Excellent | Verified Programming in Guru |
| 08/03/2009 | Coolness factor | A Functional I/O System (or Fun for Freshman Kids) |
| 04/23/2009 | Re-quibble: and I said so | Andrej Bauer on PLD |
| 06/16/2008 | PL Zoo | Processing.js |
| 05/24/2007 | No effective topos here | Synthetic Computability |
| 03/06/2007 | Please use a newer link to the paper | Propositions as [Types] |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |