Lambda the Ultimate

type	title	author	last post
Forum topic	Probabilistic languages for kids? Context Free Design Grammars by Josef Svenningsson Die rolling? by Josef Svenningsson	Ehud Lamm	2005-10-10 00:05
Forum topic	The Complexity Zoo Functional/non-functional and strict/lazy by Josef Svenningsson	Andris Birkmanis	2005-07-28 04:17
Story	Generics are a mistake? inclusion polymorphism and parametric polymorphism for dummies by Josef Svenningsson	Anton van Straaten	2005-07-17 18:25
Forum topic	Dead Languages Cayenne -> Agda by Josef Svenningsson	Jim Apple	2005-07-11 11:14
Story	Why Dependent Types Matter Covered before by Josef Svenningsson	Ehud Lamm	2005-07-05 08:34
Story	How To Read a Paper No exception! Use constructive logic by Josef Svenningsson Write a program by Josef Svenningsson	Ehud Lamm	2005-06-27 11:09
Forum topic	Garbage collecting computations A pointer by Josef Svenningsson	Andris Birkmanis	2005-06-22 07:27
Story	Accurate step counting Nice to see some application by Josef Svenningsson	Ehud Lamm	2005-06-19 10:24
Forum topic	Short examples of complex use of state? On interpreting theoretical results. by Josef Svenningsson Applicative Languages ARE inefficient. by Josef Svenningsson BDDs by Josef Svenningsson	neelk	2005-06-01 19:44
Forum topic	Data flow analysis on functional Language A good page for finding point by Josef Svenningsson	kilrati	2005-05-27 10:20
Story	Parameterized Unit Tests QuickCheck by Josef Svenningsson	Ehud Lamm	2005-05-27 01:31
Forum topic	tail recursion Tail-call JVMs can exist! by Josef Svenningsson	rmalafaia	2005-05-21 01:33
Story	Computer generates verifiable mathematics proof Wrong headline by Josef Svenningsson	Ehud Lamm	2005-04-27 10:44
Story	Grady Booch: AOSD keynote Power Point? by Josef Svenningsson	Ehud Lamm	2005-03-25 16:04
Forum topic	Embedding one language in another A rather obscure example by Josef Svenningsson	sudarshan	2005-03-24 19:10
Forum topic	Phil Wadler's blog	Josef Svenningsson	2005-03-07 00:53
Forum topic	Langauges and Hardware... More, More! by Josef Svenningsson	Matt Estes	2005-02-15 17:11
Forum topic	GCC Wiki Scary by Josef Svenningsson	Chris	2005-02-05 22:17
Forum topic	Advanced Topics in Types and Programming Languages	Josef Svenningsson	2005-01-25 02:44
Forum topic	Downwardly Scalable Languages Langugages or libraries by Josef Svenningsson	David N. Welton	2004-12-02 18:29
Forum topic	Language comparison experiment Language comparison by Josef Svenningsson	Tim Docker	2004-11-16 17:38
Forum topic	Giving Bugs the Boot Seems backwards by Josef Svenningsson	David B. Wildgoose	2004-11-15 17:31
Story	Playing the Minesweeper with Constraints (MOZ 2004) Constraint programming by Josef Svenningsson	Ehud Lamm	2004-10-22 08:18
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