Lambda the Ultimate

type	title	author	last post
Forum topic	Why do we need modules at all? Ein Reich, ein Volk, ... by johnwcowan	Sean McDirmid	2014-12-06 15:20
Story	Facebook releases "Flow", a statically typed JavaScript variant Not true of Dialyzer by johnwcowan	James Iry	2014-12-03 08:59
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. No evidence by johnwcowan	Ray Dillinger	2014-11-18 03:22
Forum topic	Concatenative Language Kont The semantics of Joy by johnwcowan	Chris	2014-10-22 09:15
Story	Open thread: RIP Steve Jobs The truth is out at last by johnwcowan Of course there are by johnwcowan He always seemed just another salesman CEO to me by johnwcowan	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment Ada was not designed by a committee by johnwcowan	Ehud Lamm	2014-10-01 17:10
Forum topic	Optimisation by repeated beta- and eta-reduction The paradox of the heap, reversed by johnwcowan People can study whatever they like by johnwcowan No room for Turing machines by johnwcowan	L Spice	2014-09-22 01:00
Story	Scala woes? "X is not needed because Y exists" considered harmful by johnwcowan	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? Which spec? by johnwcowan	Keean Schupke	2014-09-20 06:41
Story	What's in store for the most widely used language by discerning hackers? What a horrible swamp of wifty thinking by johnwcowan	Ehud Lamm	2014-09-18 04:37
Forum topic	Request For Advice and Guidance On Writing a Scheme To C Compiler? Check out Chicken Scheme by johnwcowan	Alex1	2014-09-13 23:33
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Treble damages by johnwcowan	Blaisorblade	2014-09-11 18:18
Forum topic	Languages without operator precedence XML DTDs and RELAX NG compact schemas use #3 by johnwcowan	Douglas McClean	2014-09-10 20:40
Forum topic	Programming by page faulting Worse than that by johnwcowan	Sean McDirmid	2014-09-09 00:11
Forum topic	A theory of data parallel computing Concurrency vs. parallelism by johnwcowan	Victor Eijkhout	2014-08-14 22:16
Story	Safely Composable Type-Specific Languages SRFI 108 by johnwcowan	Allan McInnes	2014-08-13 18:09
Forum topic	Cross-platform idiomatic code generation I finally read this paper by johnwcowan	raould	2014-08-08 18:11
Forum topic	Expressing Natural Deduction in Logic Languages Implementations of Prolog by johnwcowan	Keean Schupke	2014-08-06 07:42
Forum topic	'Mindless coding': following proof steps makes algorithms easy Same old story by johnwcowan	raould	2014-07-15 23:30
Forum topic	Is Rx FRP? Indeed by johnwcowan	Sean McDirmid	2014-07-08 18:02
Forum topic	Self-assembling Type-directed Dataflows Linda by johnwcowan	raould	2014-06-04 18:13
Forum topic	Using real arithmetic to eliminate bounds checking? From the Wikipedia article you cite: by johnwcowan	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Explicit renaming of bound variables * And now I'm not. Sorry for the noise. by johnwcowan * I'm getting [Math Processing Error] by johnwcowan	George Cherevichenko	2014-05-13 20:27
Forum topic	LtU now supports Mathjax Nice but not strictly necessary by johnwcowan	Anton van Straaten	2014-05-05 14:47
Forum topic	You don't mean people actually still use it?! Would you say the same of Perl 5? by johnwcowan At least Cobol is a standard by johnwcowan	Ehud Lamm	2014-04-25 01: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