Lambda the Ultimate

type	title	author	last post
Forum topic	Languages with 'unique' programs How intentional can you be? by gasche You don't need to do that; by gasche	dataangel	2012-05-23 19:59
Forum topic	Encoding System Fw in predicative dependent type theory I agree this type is by gasche I fear you will always be by gasche Unconvinced by gasche	Matt M	2012-05-23 12:22
Story	Common Lisp: The Untold Story In some ways, and at some by gasche Re. Java by gasche Racket by gasche	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Higher order versus Object order Tokens with good granularity by gasche Roles reversed by gasche Maybe not mutation, but indeed object by gasche	Francis McCabe	2012-05-17 17:45
Forum topic	Why and How People Use R If I understand correctly, by gasche ggplot2 + rply + reshape? by gasche Active research by gasche You can't do that in OCaml by gasche Side-effecting sugar by gasche Slightly disappointed by gasche	Charles Torre	2012-05-14 20:31
Forum topic	Subtyping and dependent types Subtyping with dependent types has been studied in the literatur by gasche	serras	2012-05-05 10:17
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) Nice by gasche	Greg Buchholz	2012-04-29 04:38
Forum topic	Quantitative comparison of unit testing vs. static typing? 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 Indeed, when getting the by gasche ...	lmeyerov	2012-04-26 21:34
Story	Adding Delimited and Composable Control to a Production Programming Environment But why would the use of by gasche	Manuel J. Simoni	2012-04-22 23:57
Forum topic	Symmetry in type systems Types-as-sets a bit too naive by gasche Nice: relevant, a references and discussion of the previous work by gasche Value and environments by gasche I think the correct reading by gasche Symmetry in logic, values and control, and type safety by gasche	Jules Jacobs	2012-04-17 22:15
Story	Parsing: The Solved Problem That Isn't Parallel and self-adjusting by gasche	James Iry	2012-04-15 19:59
Forum topic	Escaping the Maze of Twisty Classes Conor's vision by gasche Conor McBride's "active types" by gasche	Sean McDirmid	2012-04-14 23:04
Forum topic	Pythonect 0.1.0 Release Data flow and definition flow by gasche	ikotler	2012-04-03 15:02
Forum topic	Disruptive PLT Revisited Elaboration by gasche For the record, I believe by gasche Safety disruption by gasche End-to-end formal partial certification of a complete system by gasche	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design View online by gasche Type systems have the burden of proof by gasche Hm by gasche Type systems are a grateful by gasche Historical point by gasche An Idealized MetaML: Simpler, and More Expressive by gasche	giuseppemag	2012-03-30 05:42
Forum topic	Coding at the Speed of Touch Freedom and fuzziness by gasche A detail about "See" and "Seen" by gasche Voice by gasche Arxiv by gasche	Sean McDirmid	2012-03-27 18:25
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-03-23 09:22
Forum topic	some Mozart 2 VM code Main interpreter loop by gasche	raould	2012-03-21 12:51
Forum topic	Parametric Grammars Pragmatic: menhir by gasche	skaller	2012-03-18 07:59
Story	Foundations of Inference Where's the humble programmer? by gasche	Paul Snively	2012-03-17 16:47
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-03-12 04:21
Story	Julia, a language for technical computing else if bikeshedding by gasche	Manuel J. Simoni	2012-03-12 02:05
Forum topic	Research in Programming Languages A counterpoint by Chris Martens by gasche Interesting bits and discussion by gasche	Sean McDirmid	2012-03-10 11:01
Story	What does focusing tell us about language design? Very interesting indeed. by gasche	Manuel J. Simoni	2012-03-07 19:07
Forum topic	why first-class functions I don't think point-free is by gasche Parametrization is the fundamental redundancy-hunting tool by gasche	ad1mt	2012-03-02 13:33
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