Lambda the Ultimate

type	title	author	last post
Forum topic	Aha! Programming Language Off topic by gasche My guess would be that it is by gasche This looks like an by gasche	rmovchan	2012-10-19 03:50
Forum topic	In defense of semicolon Thanks, I just fixed it. In by gasche Is there anything that you by gasche I must remark (in reaction by gasche	Sean McDirmid	2012-10-08 22:32
Forum topic	Other free theorems Normalization by gasche Choose R first by gasche Parametricity or normalization by gasche	Matt M	2012-10-05 12:00
Story	Informed dissent: William Cook contra Bob Harper on OOP Indeed by gasche Hm by gasche Just a remark: there is a by gasche "Intuitive" but mathematically complex smells of fragile design by gasche Yet the connections can be, by gasche Java generics by gasche What is the point? by gasche To each object its implementation, and inheritance desemphasized by gasche	Ehud Lamm	2012-09-29 09:12
Forum topic	Designing a languge — what theory is a must? Thank you, that's a very by gasche I find it hard to believe, by gasche Translation may break abstraction by gasche I believe the store hazard by gasche If you need to do a lot of by gasche Subject reduction in practice by gasche Proofs of a type system safety? by gasche	pgregory	2012-09-28 19:01
Forum topic	Power Rows Fixed by gasche Related work by gasche	Henri Binsztok	2012-09-28 12:33
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. Sorting by gasche The Philistines by gasche	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback "Reference implementation" by gasche Ad Researchem by gasche I was thinking of reduction by gasche Involving a solver is a good by gasche Static and dynamic by gasche I wouldn't count use of by gasche Existential types (at least by gasche Execution trees by gasche	David Wagner	2012-09-04 09:14
Story	Parsing: The Solved Problem That Isn't Parallel and self-adjusting by gasche	James Iry	2012-08-26 09:11
Forum topic	Overloading by return type without types The free structure arising by gasche A hunch by gasche	vorov2	2012-08-12 23:50
Forum topic	Escaping the Maze of Twisty Classes Convergence of ideas by gasche Hm by gasche Type-directed inference is definitely language design by gasche Conor's vision by gasche Conor McBride's "active types" by gasche	Sean McDirmid	2012-08-04 10:15
Story	Interactive Tutorial of the Sequent Calculus Thanks for the by gasche ? by gasche The classic fish by gasche Polyglot by gasche	Manuel J. Simoni	2012-07-24 17:55
Story	How to Make Ad Hoc Proof Automation Less Ad Hoc (Too?) sophisticated by gasche	Paul Snively	2012-07-24 00:43
Forum topic	OO type systems and BNFs Ensō by gasche	Sean McDirmid	2012-07-20 19:36
Forum topic	Evolved Turing neural networks - Unorganized machines and the brain Yes, I think it is the post by gasche Against Genetic Algorithms by gasche	Cyril	2012-07-14 11:08
Forum topic	Erik Meijer started a discussion on Domain Specific Languages Static analyses should remain direct by gasche It says that designing a by gasche	w7cook	2012-07-13 00:52
Forum topic	Why are exceptions not described as 'purely functional'? But then you have by gasche Well, as soon as your main by gasche The multi-return models I by gasche Exceptions for Control Flow by gasche Indeed, "everything by gasche To explain the meaning of by gasche Unnecessary complication by gasche ? by gasche As soon as you can catch by gasche	bryanedds	2012-07-11 15:05
Forum topic	Emerging Languages Camp at Strange Loop Clever, Classless or Free? by gasche	puredanger	2012-07-08 20:46
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Yeah, that's why. by gasche Avoid memory/time observation when possible by gasche I think there is a clear by gasche I'm not sure what you mean by gasche	vrijz	2012-06-30 00:11
Forum topic	Null, bottom, etc.? If you have a type called by gasche No sense by gasche Forcing is internal to lazy languages by gasche What are your values? by gasche Bottom as a value by gasche	oconnor0	2012-06-25 23:41
Forum topic	Quantitative comparison of unit testing vs. static typing? Straw man by gasche Firefox is not really written in Javascript by gasche A good citizen by gasche I agree there is a by gasche Unison by gasche Strong update by gasche I stand corrected. by gasche Ocaml contracts prototype by gasche Communication by gasche Daring by gasche ...	lmeyerov	2012-06-22 02:59
Forum topic	'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions In defense of type declarations by gasche	spdegabrielle	2012-06-21 03:46
Forum topic	Why Do Some Programming Languages Live and Others Die? Live programming vs. continuous testing by gasche In fact, backtracking with by gasche Color me unconvinced. Most by gasche Unsurprising: complex types are for complex invariants by gasche A bland article for this hot research by gasche	Sean McDirmid	2012-06-18 23:33
Forum topic	Matthew Flatt on Racket Submodules	gasche	2012-06-09 18:21
Forum topic	Languages with 'unique' programs How intentional can you be? by gasche You don't need to do that; by gasche	dataangel	2012-06-04 11:11
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