recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Early Programming Languages (A Logic Puzzle) It was a very good year by William D. Neumann Or... by Paul Snively That's odd... by Peter McArthur	Jim Apple	2007-04-09 17:03
Forum topic	Functions shouldn't be lists, functions should be cast to lists Views of Lists by cdiggins perspects on data by bayesianlogic Yep! by Michael Sloan Abstract Data Types and Term Rewriting by cdiggins Thanks for the explanation by cdiggins Abstract Data Types by Jacques Carette On implicit conversion by Michael Sloan Automatic promotion by Jacques Carette	cdiggins	2007-04-08 19:49
Story	A Temporal Logic Language for Context Awareness in Pointcuts AOP's success in the Java camp by Pascal Costanza The weakness of most AOP examples by Anton van Straaten	Luke Gorrie	2007-04-08 18:59
Forum topic	F# 1.9.1 released	grant	2007-04-07 23:34
Forum topic	Dynamic Semantics That's Right by Paul Snively Expression Problem by BenMoseley Paraconsistent by Hank Thediek Dynamic types are a secondary effect by Anton van Straaten Think higher-order by Andreas Rossberg Oh yes, and I forget whether by Philippa Cowderoy In this contextâ€”that is, by cdiggins Hidden Algebra by Hank Thediek Whys and Wherefores by Paul Snively From the perspective of the PL... by Chris Rathman ...	Hank Thediek	2007-04-07 22:57
Story	Putting functional database theory into practice: NixOS GoboLinux by Kevin Krouse PhD Thesis by Christian Lindig	neelk	2007-04-06 01:43
Forum topic	Defining Types not as Classes but as Mathematical Sets Duck Typing by lencharest Russell? by Boyko Bantchev Haskell? by Gavin Harrison O'Caml by Chris King I belive this is called by Felicia Li Svilling	William Davis	2007-04-05 17:06
Forum topic	Generators/Iterators and lazy evaluation Streams language extension by flux Tricky by Qrczak Delimited Control by Brandon Moore One word by Derek Elkins	technophobicgeek	2007-04-05 11:28
Forum topic	Putting functional database theory into practice: NixOS Functional Database by Gavin Mendel-Gleason functional database theory? by shahbaz Oops by Gavin Mendel-Gleason afaik, there is no particular reason by Martin Bravenboer Indeed, but he said by naasking Keep in Mind... by Paul Snively Interesting by renox NixOS and Nix links by Martin Bravenboer	Gavin Mendel-Gleason	2007-04-05 10:51
Story	Verifying Semantic Type Soundness of a Simple Compiler	Paul Snively	2007-04-05 01:39
first page previous page next page last page