Lambda the Ultimate

type	title	author	last post
Forum topic	Quantitative comparison of unit testing vs. static typing? Because variants don't have by Ben L. Titzer Don't blame null. by Ben L. Titzer	lmeyerov	2012-04-26 21:34
Forum topic	Retrospective Thoughts on BitC Sophisticated reference counting is really complex by Ben L. Titzer	raould	2012-04-18 16:43
Forum topic	Disruptive PLT Revisited A unified schema, basic types by Ben L. Titzer The NoSQL movement will die by Ben L. Titzer Merging of PL and Databases by Ben L. Titzer	Sean McDirmid	2012-03-31 13:27
Story	Informed dissent: William Cook contra Bob Harper on OOP Type argument inference by Ben L. Titzer You seem to think that some by Ben L. Titzer Missing the point by Ben L. Titzer Suppose that by Ben L. Titzer	Ehud Lamm	2012-03-23 09:22
Forum topic	Google's Dart announced Why do you even need to by Ben L. Titzer I think subtyping without by Ben L. Titzer	vieiro	2012-03-12 04:21
Forum topic	Research in Programming Languages No, I don't. But it is my by Ben L. Titzer Maybe the context is too by Ben L. Titzer	Sean McDirmid	2012-03-10 11:01
Story	A Concept Design for C++ Human effort by Ben L. Titzer An add-on to an add-on to an add-on by Ben L. Titzer	James Iry	2012-03-04 21:35
Forum topic	why first-class functions Objects and closures are equivalent by Ben L. Titzer Fine-grained reuse by Ben L. Titzer	ad1mt	2012-03-02 13:33
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Undefined semantics by Ben L. Titzer	Paul Snively	2012-02-09 18:04
Forum topic	Evolution of mainstream programming language paradigms Do you take "complex" and by Ben L. Titzer My take is that you simply by Ben L. Titzer You are reasoning about by Ben L. Titzer I think the phenomenon of by Ben L. Titzer	const	2012-02-08 02:01
Story	Deca, an LtU-friendly bare metal systems programming language Nice work by Ben L. Titzer	Anton van Straaten	2012-01-23 10:21
Forum topic	Register Allocation By Model Transformer Semantics -- need for early comments With hardware register by Ben L. Titzer Hi Yin, I did not have time by Ben L. Titzer	yinwang0	2012-01-09 02:49
Story	Cambridge Course on "Usability of Programming Languages" Agreed. One problem is that by Ben L. Titzer I don't think the community by Ben L. Titzer	James Iry	2012-01-06 03:55
Forum topic	Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. Precise control of data by Ben L. Titzer	Kannan Goundan	2011-11-25 21:06
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Sussman's argument, if one by Ben L. Titzer I watched the first 15 mins by Ben L. Titzer	puredanger	2011-11-19 23:37
Forum topic	How to determine your new language is perfect? It also has pretty poor by Ben L. Titzer	Mats	2011-11-11 02:37
Forum topic	"Crutches in language design", accidental complexity and feature overlap Hilarious by Ben L. Titzer Universal representation by Ben L. Titzer I meant "not erased" by Ben L. Titzer Autoboxing by Ben L. Titzer	gasche	2011-11-07 11:46
Story	Dennis Ritchie passed away Efficiency by Ben L. Titzer Agree by Ben L. Titzer	Ehud Lamm	2011-10-29 02:45
Story	Open thread: RIP Steve Jobs Hi Andreas. Java is hardly a by Ben L. Titzer Hi Sean. Your post was by Ben L. Titzer The story seems plausible by Ben L. Titzer Sadly I feel there is little by Ben L. Titzer Live in denial like I do. :) by Ben L. Titzer I'm not really sure why Kay by Ben L. Titzer	Ehud Lamm	2011-10-27 14:14
Forum topic	Critical Programming Language Design My mistake. I must have read by Ben L. Titzer I disagree. I think PL by Ben L. Titzer	Sean McDirmid	2011-10-04 23:00
Forum topic	FijiVM: Compile Java source to Native with Realtime GC I don't think so by Ben L. Titzer	raould	2011-09-28 19:40
Story	Google's "The Future of JavaScript" internal memo leaked ES4 by Ben L. Titzer Kasper by Ben L. Titzer Names changed to protect the guilty by Ben L. Titzer There are others by Ben L. Titzer	Z-Bo	2011-09-27 16:31
Story	The SAFE Platform That puts more software in by Ben L. Titzer	Charles Stewart	2011-09-20 05:23
Forum topic	Is it possible to write code that works the very first time? Choose your own "waste" by Ben L. Titzer My point was perhaps lost in by Ben L. Titzer And Coq was proved sound by Ben L. Titzer	M Riccobene	2011-08-10 11:43
Forum topic	Why is tail call optimization an issue in GC'd languages? When I left Sun a year and a by Ben L. Titzer	Sriram Srinivasan	2011-08-02 09:20
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