Lambda the Ultimate

type	title	author	last post
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
Story	Deca, an LtU-friendly bare metal systems programming language Excellent quotes from the paper by johnwcowan	Anton van Straaten	2014-04-23 16:10
Forum topic	Diseases in Code "Constructive criticism" is an equivocal expression by johnwcowan This is nothing but F# propaganda by johnwcowan	bryanedds	2014-04-23 15:23
Forum topic	Designing an alternative to s-expressions for language extensibility Sigh, here we go again by johnwcowan	Olivier Breuleux	2014-04-20 21:03
Forum topic	F# compiler, library and tools now open for community contribution Point. by johnwcowan I disagree, at least in part by johnwcowan Dog bites man by johnwcowan	Charles Torre	2014-04-15 21:21
Forum topic	Modelling Actors with Locks Say what? by johnwcowan	laforge49	2014-04-14 06:21
Forum topic	Brendan Eich, CEO of mozilla Not BS by johnwcowan	Sean McDirmid	2014-04-13 18:55
Forum topic	Leslie Lamport: Thinking for Programmers Not always by johnwcowan	Charles Torre	2014-04-12 13:41
Forum topic	Multimethods over structural types Pure by johnwcowan Dylan is nominally typed by johnwcowan	Benjohn Barnes	2014-04-07 13:08
Story	What Are The Resolved Debates in General Purpose Language Design? Fortran implementation bugs by johnwcowan There is only one Unicode by johnwcowan * I think you had it right the first time, too. by johnwcowan	James Iry	2014-03-31 20:55
Forum topic	Julia has no dependent types Julia is dynamically typed by johnwcowan	andrew cooke	2014-03-13 16:43
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