Lambda the Ultimate

type	title	author	last post
Story	Lowering: A Static Optimization Technique for Transparent Functional Reactivity	neelk	2007-02-22 18:41
Forum topic	Seeking suggestions on how to unify the environment, free variables, and current activation record for closures Here's one way to do it. by neelk	tomlu	2007-02-14 02:13
Story	The Missing Link - Dynamic Components for ML	neelk	2007-02-10 19:32
Story	State of the Union: Type Inference via Craig Interpolation That's neat -- I had never by neelk	Jim Apple	2007-02-10 00:41
Story	Termination Checking with Types It's productivity of co-recursion, by neelk	neelk	2007-02-09 20:53
Forum topic	Opinions on _Theoretical Introduction to Programming_? Marc, after rereading my by neelk I don't know by neelk All large programs are hideous blobs of goo -- no exceptions by neelk I don't find it by neelk I haven't heard of it. What by neelk	Wolf Logan	2007-02-08 03:20
Story	Programming Parallel Algorithms	neelk	2007-02-07 11:21
Forum topic	brainstorming dataflow language visualizations There are non-visual dataflow languages by neelk	Max	2007-02-05 19:51
Story	First Class Relationships in an Object-oriented Language Thanks, I fixed it. by neelk	neelk	2007-02-05 08:17
Story	Separation Logic: A Logic for Shared Mutable Data Structures A monad lets you nicely by neelk	neelk	2007-02-04 05:34
Forum topic	Pasquale Malacaria, "Assessing Security Threats of Looping Constructs" Okay. What do I need to do? by neelk	neelk	2007-01-30 21:48
Forum topic	Intellisense for dynamic languages Hm. by neelk	tlareywi	2007-01-20 18:00
Story	Locus Solum: From the rules of logic to the logic of rules Sure... by neelk No! by neelk	Andris Birkmanis	2007-01-20 06:18
Forum topic	Scheme interpreters written in Standard ML? Here's a minimalist implementation by neelk	Chris Rathman	2007-01-17 04:34
Story	Why numbering should start at 0 Here's a positive Dijkstra quote by neelk	Luke Gorrie	2007-01-10 17:16
Forum topic	Eta-expansion of abstractions outside the lambda-calculus There are no functions in by neelk Suppose we've got an by neelk	Daniel Slaney	2007-01-09 08:58
Forum topic	Question About Computational Complexity ... by neelk What you're asking for seems by neelk	Matteo	2007-01-03 22:31
Forum topic	(Even more) theorems for free? Yes, this makes sense. It's by neelk It's a perfectly by neelk	Andris Birkmanis	2007-01-03 21:55
Forum topic	path-sensitive dataflow analysis. How? Yeah, that's right, though by neelk Hi Jonathan, Making a DFA by neelk	jonathan h.	2006-12-15 20:58
Forum topic	Exceptions You have to be careful, though... by neelk	BigZaphod	2006-12-13 18:35
Forum topic	Why type systems are interesting - part II Rejecting programs is important too by neelk	Ehud Lamm	2006-12-08 01:38
Forum topic	Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." The idea of defining a by neelk	raganwald	2006-12-07 22:33
Story	Linear types for aliased resources You are too optimistic :( by neelk	Ehud Lamm	2006-12-07 16:10
Forum topic	"Folding"/FP traversal over trees If you want to control the by neelk	dbfaken	2006-12-07 14:53
Forum topic	Want to learn something new By saying "the" language by neelk	pureza	2006-11-12 19:49
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