michael-fig | Lambda the Ultimate

michael-fig

view
track

type	title	author	last post
Forum topic	SK Calculus not Consider SeKsy? There is a language... by michael-fig	cdiggins	2017-06-10 16:33
Forum topic	The Myths of Object-Orientation C+@ by michael-fig	el-vadimo	2010-12-21 17:28
Story	Recent Progress in Quantum Algorithms I'm probably naive... by michael-fig	Manuel J. Simoni	2010-03-16 18:22
Forum topic	Ward's Wiki Types and online communities by michael-fig	Sean McDirmid	2009-12-28 14:50
Forum topic	Need volunteer help/feedback from stronger academic/competent profiles (on testing T-diags expressiveness with semantics, etc) From one non-expert... by michael-fig	Cyril	2009-12-27 09:47
Story	Patrick Logan on Software Transaction Memory Erlang already has STM... by michael-fig	Ehud Lamm	2009-10-26 21:48
Forum topic	Simplicity In defense of timeouts (not timers) by michael-fig	John Carter	2009-08-05 21:58
Story	A-Z of Programming Languages: Erlang What Joe has in mind by michael-fig	Chris Rathman	2009-06-29 22:24
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? Even better news... by michael-fig	John Carter	2009-05-23 23:23
Forum topic	COLA and Open, extensible object models	michael-fig	2007-10-05 19:04
Story	AgentSheets: End-User Programing (and Secret Lisp Success Story!) Optimizer object graphs by michael-fig	Brent Fulgham	2006-12-31 23:19
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram Why separate compilation? by michael-fig	Niels Hoogeveen	2006-10-02 18:13
Story	Transactional Memory with data invariants (draft sequel to the STM-Haskell paper) Leaving side-effects at the programmer's whim by michael-fig	shapr	2006-05-17 12:42
next page last page