Lambda the Ultimate

type	title	author	last post
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
Forum topic	Job board on LtU? Lambda the Ultimate Job List by Daniel Yokomizo	yminsky	2009-01-10 03:47
Story	The RiSE of Research in Software Engineering 4 of 10 is a nice proportion by Daniel Yokomizo	Daniel Yokomizo	2008-12-03 14:54
Forum topic	Remembering everything - a new(?) idea for a new PL An Elephant Never Forgets by Daniel Yokomizo	pureza	2008-12-02 17:19
Forum topic	Security in FP Information Leakage and Confidentiality by Daniel Yokomizo	Carter Cheng	2008-11-22 21:19
Forum topic	Choice of OS of LtU readers win2k by Daniel Yokomizo	marco	2008-10-21 11:00
Story	Safe and Secure Software in Ada Flow Caml by Daniel Yokomizo	Ehud Lamm	2008-09-26 19:38
Forum topic	Typing a function which includes its axioms? Qualified Types by Daniel Yokomizo	Bryan Turner	2008-09-17 22:35
Forum topic	Let's make a programming language! Wadler's Law by Daniel Yokomizo	Achilleas Margaritis	2008-09-12 09:21
Story	Erasmus: A Modular Language for Concurrent Programming Can vs. Must by Daniel Yokomizo Forgeability by Daniel Yokomizo	cdiggins	2008-09-10 10:23
Forum topic	Ongoing work on Supercompilation of Java code (or supercompilation in general)? Supero by Daniel Yokomizo	sanity	2008-08-20 12:02
first page previous page 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