Lambda the Ultimate

type	title	author	last post
Forum topic	System programming using FP Transient internet is transient by Daniel Yokomizo Proving the correctness of reactive systems using sized types by Daniel Yokomizo	Todd Coram	2020-11-27 13:54
Forum topic	Are Monads a Waste of Time? Apples vs Potatoes by Daniel Yokomizo Values vs programs by Daniel Yokomizo	Keean Schupke	2018-03-16 00:59
Story	Gilad Is Right In this case undefined is your friend by Daniel Yokomizo Gilad is Wrong by Daniel Yokomizo	Erik Meijer	2014-03-23 13:38
Forum topic	Proving the correctness of reactive systems using sized types Now the stars are aligned by Daniel Yokomizo	Daniel Yokomizo	2013-09-13 02:35
Story	Matching Objects With Patterns . by Daniel Yokomizo	Matt Hellige	2012-08-31 07:43
Story	Koka a function oriented language with effect inference Unification rules for while by Daniel Yokomizo	Daniel Yokomizo	2012-08-16 14:01
Story	The Algebra of Data, and the Calculus of Mutation Don't delist me by Daniel Yokomizo	Manuel J. Simoni	2012-02-15 00:19
Story	What needs to be done? Back to the basics by Daniel Yokomizo	Ehud Lamm	2011-11-07 05:29
Story	Getting Started Folds and Unfolds by Daniel Yokomizo	Ehud Lamm	2011-03-16 17:43
Story	Alan Kay: The Early History of Smalltalk Design by Comitee by Daniel Yokomizo	Luke Gorrie	2011-03-16 15:16
Forum topic	Multiple Value Return - Common Lisp vs. Tuples and destructuring Irrefutable patterns by Daniel Yokomizo Supero perhaps by Daniel Yokomizo	scottmcl	2011-01-15 09:49
Story	Guido: Language Design Is Not Just Solving Puzzles Javascript by Daniel Yokomizo	Ehud Lamm	2011-01-05 17:06
Forum topic	expressivity of "idiomatic C++" Non-invasive transformations by Daniel Yokomizo	el-vadimo	2010-11-10 22:56
Forum topic	Why type systems are interesting Humans and compilers usually know different properties by Daniel Yokomizo Re: Point of static proofs? by Daniel Yokomizo PCC by Daniel Yokomizo HOFs suffice by Daniel Yokomizo That isn't a type error by Daniel Yokomizo How can this be? by Daniel Yokomizo The statements are unrelated by Daniel Yokomizo Even type inference won't neg by Daniel Yokomizo Java doesn't have type inference by Daniel Yokomizo This is like rejecting valid by Daniel Yokomizo ...	Anton van Straaten	2010-03-08 19:47
Forum topic	Alternatives to parentheses for grouping Horizontal Layout by Daniel Yokomizo	jason stumpf	2010-02-10 13:28
Forum topic	The Next Mainstream Programming Languages We, the people... by Daniel Yokomizo Lazy evaluation vs. Streams by Daniel Yokomizo Full comparison by Daniel Yokomizo Futures are great... by Daniel Yokomizo lenient = non-strict + eager by Daniel Yokomizo	Per Vognsen	2010-01-24 13:32
Forum topic	Post new comment vs. reply Please do it by Daniel Yokomizo	bdenckla	2009-12-01 16:17
Story	Patrick Logan on Software Transaction Memory GC works, programmers don't by Daniel Yokomizo How to fix a broken toolbox. by Daniel Yokomizo Point, where art thou? by Daniel Yokomizo	Ehud Lamm	2009-10-26 21:48
Forum topic	Effect Systems? google-fu by Daniel Yokomizo	jesuswaffle	2009-10-10 01:11
Story	The Disciplined Disciple Compiler No actual experience... by Daniel Yokomizo Talks about Disciple by Daniel Yokomizo	Daniel Yokomizo	2009-07-27 23:26
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? LtU Policies by Daniel Yokomizo Classes considered harmful by Daniel Yokomizo I believe that the next best by Daniel Yokomizo	John Carter	2009-05-23 23:23
Story	Help John Baez and Mike Stay! My 2 cents by Daniel Yokomizo	Matt Hellige	2009-02-27 19:25
Story	LtU: blog not forum! +1 by Daniel Yokomizo	Ehud Lamm	2009-02-14 14:11
Forum topic	Explaining monads Monads are like CPS in this sense by Daniel Yokomizo IIUC (I can't run your exampl by Daniel Yokomizo Clean has unique types by Daniel Yokomizo IO violates RT by Daniel Yokomizo	Ehud Lamm	2009-01-30 11:43
Forum topic	Compilation/method resolution with structural subtyping Morrow by Daniel Yokomizo	scottmcl	2009-01-20 19:33
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation