Lambda the Ultimate

type	title	author	last post
Forum topic	How are GADTs useful in practical programming? Concrete yet invented example by Daniel Yokomizo Actually no by Daniel Yokomizo	Klaus Ostermann	2006-06-21 13:31
Forum topic	Relevance of Curry-Howard Turing completeness is overrated by Daniel Yokomizo Sized types by Daniel Yokomizo They don't need to stop by Daniel Yokomizo	Klaus Ostermann	2006-06-12 13:36
Forum topic	Stealing language features for fun and profit in Ruby LtU comes to the rescue by Daniel Yokomizo	Adam K	2006-05-27 14:25
Forum topic	The fundamental difference between Sets and Lists? Comprehending Queries by Daniel Yokomizo	Robbert van Dalen	2006-04-27 12:55
Story	Erlang the Movie There's "Cryptic Seduction" too by Daniel Yokomizo The result of such revolutions by Daniel Yokomizo The FPL Manifesto by Daniel Yokomizo	Luke Gorrie	2006-04-21 18:09
Forum topic	Programming: 50, 100 years from now Artificial Minds will be smarter by Daniel Yokomizo	shahbaz	2006-04-03 17:51
Story	Ian Bicking: The challenge of metaprogramming Re: TCO vs. Java security by Daniel Yokomizo TCO, Static Typing and Haskell: A Rant by Daniel Yokomizo	Ehud Lamm	2006-03-06 17:42
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing Are dictionaries mandatory? by Daniel Yokomizo	cdiggins	2006-03-02 16:04
Forum topic	The new old or The "Return" to Concurrency Relation to monads? by Daniel Yokomizo	Todd Coram	2006-02-16 00:08
Forum topic	Weak vs. strong typing Refinement Types meet Effect Systems by Daniel Yokomizo	Joel Reymont	2006-02-03 18:36
Forum topic	What is a monad, why should I use it, and when is it appropriate? The Monad interface is only one way by Daniel Yokomizo	Jonathan Allen	2006-02-03 10:54
Story	Infrastructure Announcement Conspiracy by Daniel Yokomizo Some posts have content missing by Daniel Yokomizo	Ehud Lamm	2006-01-23 06:49
Story	The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene John Hughes' "Generalising Mo by Daniel Yokomizo	shapr	2006-01-12 16:51
Forum topic	Bruce Tate: Technologies that may challenge Java LtU's tradition by Daniel Yokomizo More likely ST vs DT by Daniel Yokomizo Duh by Daniel Yokomizo The library sucks, not the type system by Daniel Yokomizo "What you're missing is tha by Daniel Yokomizo	shahbaz	2006-01-12 06:01
Story	Extensible Records With Scoped Labels Morrow is great by Daniel Yokomizo	Matt Hellige	2005-11-20 01:24
Story	What good is Strong Normalization in Programming Languages? Sized Region Types by Daniel Yokomizo	shapr	2005-11-18 18:06
Forum topic	Classification according to type vs function - An anecdote Bigger issues by Daniel Yokomizo GC in everyday use. by Daniel Yokomizo	Riaan Moll	2005-11-17 01:23
Story	Battling Bugs: A Digital Quagmire Granma's Rules of POLA by Daniel Yokomizo There's always the IO monad by Daniel Yokomizo	Paul Snively	2005-11-16 21:30
Forum topic	The Type-System-Feature-Creep Death Spiral Type Specialization by Daniel Yokomizo	jesuswaffle	2005-11-02 17:15
Forum topic	Why Lists? Quick and Dirty implementation by Daniel Yokomizo	David B. Held	2005-11-01 21:15
Forum topic	"The Anatomy of a Loop" Related research by Daniel Yokomizo	el-vadimo	2005-10-09 19:02
Forum topic	Good languages with simple grammar Smalltalk by Daniel Yokomizo	Tim Sweeney	2005-09-28 08:09
Forum topic	Most Productive FP Lang? Scala isn't Nice by Daniel Yokomizo	David B. Held	2005-09-26 03:14
Story	Visual Haskell HaRe -- The Haskell Refactorer by Daniel Yokomizo	Ehud Lamm	2005-09-22 13:00
Forum topic	Ivory Towers and Gelfand's Principle Nope! by Daniel Yokomizo Sather does it by Daniel Yokomizo	Leon P Smith	2005-09-03 14:13
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