Lambda the Ultimate

type	title	author	last post
Story	Finding and Understanding Bugs in C Compilers I understand, thanks for by gasche You don't have consistency for free, but when exhibiting a model by gasche Gaining confidence in specifications by gasche CompCert by gasche Compilers are mathematical and mechanically verifiable by gasche	James Iry	2011-04-02 07:31
Forum topic	Reference request: running out of countably many variable names Infinite width or infinite depth ? by gasche	Neil Toronto	2011-03-22 10:17
Story	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate lens by gasche	Jacques Carette	2011-03-17 09:27
Forum topic	What to do about comments? Comments, annotations and pragmas by gasche	markt	2011-03-14 18:54
Story	Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Rather than a guarantee on by gasche	Z-Bo	2011-03-14 05:47
Forum topic	InfoQ video + transcript of Rob Pike on Go If I used C++, I would pay by gasche	raould	2011-03-11 00:14
Forum topic	Dan Vanderboom's Archetype language Syntax extension patterns by gasche	Cyril	2011-03-10 07:56
Forum topic	Monads vs. Actors I think Matt M's idea was by gasche Monads are much nicer with inference: "result type overloading" by gasche	Sean McDirmid	2011-03-02 21:15
Forum topic	I've run out of programming languages to study Isn't security solved in the common case ? by gasche	Josh Griggs	2011-02-27 03:20
Story	The Semicolon Wars You can prove programs written in Turing-complete languages by gasche I don't know of any such by gasche I'm starting to shink that by gasche	James Iry	2011-02-20 15:00
Forum topic	Extending Syntax from Within a Language That's an interesting point. by gasche furthermore, some macros by gasche already commented elsewhere by gasche	munificent	2011-02-17 01:57
Forum topic	Evaluation strategies: authoritative reference? Is Jensen's Device really about evaluation strategies ? by gasche References are values by gasche	naasking	2011-02-16 02:55
Forum topic	How to Program the Many Cores for Inconsistency Robustness slideshare is a pain by gasche	Hewitt	2011-02-03 14:26
Forum topic	Points in the Pattern Matching Design Space a last suggestion by gasche You're doing an equivalence by gasche Emulation by gasche Case classes and XDUCE by gasche Vague intuition by gasche Binding by gasche	Jules Jacobs	2011-01-26 21:50
Forum topic	guy steele on how (not) to think of parallel programming Weak Memory Models by gasche	Thomas Lord	2011-01-25 05:56
Forum topic	Fast Compilers (Even complex) types systems are compositional by gasche Two different goals by gasche Semantics by gasche Why so? Andreas complained by gasche Yet, I think that the by gasche Error recovery by gasche Immediate feedback needs to be fast by gasche	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem Polymorphic variants and map/fold objects by gasche	shap	2011-01-19 03:15
Forum topic	Prototyping a new language with Haskell Some words of advice by gasche If you have python/ruby by gasche Dynamic binding for metaprogramming ? by gasche	bryanedds	2011-01-18 03:43
Story	Good Ideas, Through the Looking Glass if .. then .. else by gasche 'if' with an 'end' statement, and space sensivity by gasche	Ehud Lamm	2011-01-15 17:04
Forum topic	Memory, Actions and Extensible Syntax Your first example is a by gasche Your comments are always by gasche	Ed Earl Ross	2011-01-14 20:34
Forum topic	The Myths of Object-Orientation delay is no circularity by gasche No need for dependent types by gasche	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited What I don't understand is by gasche	Thomas Lord	2010-12-21 06:06
Story	Sapir-Whorf 70 years on In Haskell, pretty much all by gasche Function composition vs. mutations sequencing by gasche	bashyal	2010-12-20 12:25
Story	A Preliminary Survey on Functional Programming Type theory is not FP-specific by gasche In context by gasche Weird by gasche	Ehud Lamm	2010-12-14 05:28
Forum topic	Lambda the Ultimate seems an Overstatement (not) ML effects are not hand-waved by gasche	Ed Earl Ross	2010-12-13 19:44
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