Lambda the Ultimate

type	title	author	last post
Forum topic	Teaching Garbage-Collection I heard that due to memory by gasche	shriramk	2013-06-13 16:51
Story	Foundations of Inference Where's the humble programmer? by gasche	Paul Snively	2013-05-21 03:54
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Interesting by gasche See this reddit comment, by by gasche No "No" by gasche	Charles Torre	2013-05-21 02:56
Forum topic	Everybody Needs a Syntax Extension Sometimes Mathematicians and notations by gasche	danbst	2013-05-19 12:26
Forum topic	We're doing it wrong.... Complexity perfectly adapts to latency, caches, parallelism... by gasche	Ray Dillinger	2013-05-15 19:34
Forum topic	Go-style defer-recover exception handling is better than try-catch style? I think both your points are by gasche Defer alone does not mix well with abstraction by gasche	Limin Fu	2013-05-13 01:54
Story	John C. Reynolds, 1935-2013 Student stories by gasche	neelk	2013-05-08 11:20
Forum topic	Aml - A Modular Language (Progress Update) Knowledge reified in the design by gasche	bryanedds	2013-04-23 00:06
Forum topic	GADT vs. Type Classes Misplaced comment? by gasche Red Herring: only works for some select examples by gasche	Greg Buchholz	2013-04-22 22:24
Story	Dependent Types for JavaScript +1 by gasche I don't understand exactly by gasche Meh by gasche What you mean by "we don't by gasche Type erasure by gasche Consistency of the formal system vs. formal/unformal mismatch by gasche Known unsound is better than unknown unsound by gasche Simple: unsound unless proven otherwise by gasche Impressive breadth, but certainly unsound by gasche	naasking	2013-04-18 10:44
Forum topic	The stack calculus : a fundamental (and simple !) calculus for Classical Logic	gasche	2013-04-11 12:13
Forum topic	Peter Van Roy: Programming Paradigms for Dummies Outside-visible named state ? by gasche	Torsten Anders	2013-04-05 15:06
Forum topic	Type dispatch on continuations is isomorphic to type dispatch on calls. Why therefore is it considered "unsound?" There seems to be a misunderstanding by gasche	Ray Dillinger	2013-03-31 08:49
Forum topic	Seeking thoughtful criticisms of functional programming and languages Monads make it too easy to transfer authority by gasche Pure functions and authority encapsulation by gasche	scottmcl	2013-03-31 00:40
Story	How OCaml type checker works -- or what polymorphism and garbage collection have in common A great document by gasche	Paul Snively	2013-03-10 16:42
Forum topic	Fixpoint theory, induction and recursion Ironic claim about program proofs by gasche	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? Note that your examples can by gasche "Lazy" usually denotes the by gasche	Sean McDirmid	2013-03-01 03:45
Story	Simple Generators v. Lazy Evaluation One more traversal... by gasche	Manuel J. Simoni	2013-02-26 12:23
Forum topic	whither ATS2? I don't understand by gasche	raould	2013-01-17 23:56
Story	Rob Pike on Go at Google Interfaces for polymorphism? by gasche Free name party! by gasche I don't believe you by gasche Hm by gasche Delay interaction to resolution time by gasche double post by gasche I think David's argument is by gasche Meh by gasche I had a hard time by gasche	Ehud Lamm	2013-01-09 22:52
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Existentials through GADTs by gasche Methods are present in practice by gasche	w7cook	2013-01-08 20:02
Forum topic	Type evolution during construction The paper I cited above by gasche Compcert C++ work by Tahina Ramananandro by gasche	shap	2013-01-08 18:45
Forum topic	Google's Dart announced Rich web languages by gasche If you have any Any by gasche Source and Sink by gasche Immutable lists should be covariant by gasche The right variance by gasche I would disagree with that by gasche in the jungle by gasche	vieiro	2012-12-30 17:29
Forum topic	Supporting a spectrum from whole program to separate compilation to aid in efficient program generation Interfaces are already a spectrum by gasche	scottmcl	2012-12-25 21:32
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) Nice by gasche	Greg Buchholz	2012-12-20 20:48
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