Lambda the Ultimate

type	title	author	last post
Story	Dennis Ritchie passed away Fish by marco	Ehud Lamm	2011-10-29 02:45
Forum topic	Simple Question - Beta reduction and pattern matching (compile time, static) NP by marco I don't see the problem by marco	scottmcl	2011-10-12 13:47
Forum topic	Redesigning the Mozart virtual machine Or just copy the design by marco Truth emerges more readily from error than confusion by marco Toto, we're home. by marco Out of Budget by marco Bandwidth by marco I am a lighthouse, your call. by marco	Peter Van Roy	2011-10-04 22:20
Forum topic	Language/Compiler design blogs? No problem, I didn't work on by marco I must have done something by marco	Azh	2011-10-04 09:20
Story	Why Object-Oriented Languages Need Tail Calls We Bad? by marco Two sides by marco Wrong by marco Goto Start by marco	Leon P Smith	2011-10-01 21:58
Forum topic	Forum Topics and Story Mood Killer by marco +1 by marco Don't Agree by marco Hmm by marco Overhaul by marco	Henry Luo	2011-09-24 17:53
Story	Haskell for C Programmers Platonic Solids by marco They sacrificed unto devils, not to God by marco The naked purity by marco The only fence against the world is a thorough knowledge of it by marco Yeah by marco State of the world by marco Or not defendable? by marco Purity by marco	Mark Evans	2011-09-12 18:37
Forum topic	Implementor's guide/tutorial to delimited continuations? Yes, each R introduces an S by marco No idea, it never happens (I hacked it) by marco I wonder what I did by marco It would help if you would by marco	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Why is tail call optimization an issue in GC'd languages? Why Rewriting doesn't need Tail Call Optimization by marco Ah well by marco More General by marco Thanks for that comment. by marco Truth is, I have no feeling by marco Essentially contested concept by marco Well, look at your PC and try to visualize by marco Stack Allocated Objects by marco The Cost of Software by marco Except for... by marco ...	Sriram Srinivasan	2011-08-02 09:20
Story	Rob Pike: Public Static Void Hush! by marco Yeah, well, they started Ada by marco Aliasing by marco Hey, I accept that Ada is a by marco Ada by marco Point taken by marco See my post above. by marco Why? I mean that... by marco Yeah, it's subjective by marco The Problem with your Story by marco ...	Ehud Lamm	2011-07-10 18:36
Forum topic	Yet another programming language with customizable syntax But must have been tried before... by marco	Lavir the Whiolet	2011-06-24 09:03
Forum topic	Advice for a young researcher You could try CUFP, although by marco Still not sure I am the one to ask by marco Ah well, might as well make by marco Hey, I want to help, but I by marco When I look at it, I think by marco I suggest you look at places by marco Whatever you get published is science... by marco	giuseppemag	2011-06-13 01:51
Forum topic	Wide Scope Dead Code Analysis Ah, you mentioned research by marco Not sure you'll end up with anything publishable by marco	Alexander Morou	2011-06-10 02:05
Forum topic	The Architecture of Open Source Applications I second this by marco XKCD 871? by marco	Manuel J. Simoni	2011-05-25 23:15
Forum topic	In search of inspiration Partial Evaluation - no idea what it is? by marco	Tim van Deurzen	2011-05-16 12:17
Forum topic	Generative Grammar-based Computation Try CDL3 by marco Post by Z-Bo by marco Btw, Prolog by marco Hmpf by marco Context Sensitive Grammars by marco	dmbarbour	2011-05-08 06:50
Forum topic	Iteration function in lambda calculus No to mention that it is by marco	kmisd	2011-05-06 10:32
Forum topic	Types from imported modules "leaking" into a module's public interface Right, so academically it by marco	scottmcl	2011-05-01 17:19
Forum topic	The Grafwegen Hi Compiler named Hic release 0.1 Type Inferencing for the Hi Language by marco Hmm... by marco Implementation Reference by marco Where to host? by marco Open Source by marco Addendum by marco Adding Ref? by marco Looking for Co-Developers? by marco Good Points by marco 70fps should be the default by marco ...	marco	2011-04-24 10:41
Forum topic	Profiel: Henk Barendregt: Lambda calculus hits the tube Not a lot of CS by marco	pjotr	2011-02-24 17:54
Forum topic	What is computation? Concurrency versus Turing's Model Great Product by marco My horse just lost its shoe by marco So it did boil down to fairness? by marco Then throw away the model by marco Uh?Concurrency cannot be modeled as a non-deterministic machine by marco Fairness by marco Buechi Automata by marco Great Voodoo by marco If you assign probabilities to non-deterministic transitions by marco Broken Link by marco	Hewitt	2011-02-22 13:52
Forum topic	Fast Compilers Eager Evaluated Lambda Calculus on Records with RTTI by marco Not sure I recommend it. Too Painful by marco ...why? by marco Better Understanding by marco They borrow from each other... by marco I would call that luck too by marco Heretic! by marco No doubt Leroy is intelligent, but so are others by marco It's more about generated code by marco Moore's law has ended by marco ...	Ed Earl Ross	2011-01-19 23:50
Forum topic	The AST Typing Problem Addendum by marco Unsolution - Just keep it simple by marco	shap	2011-01-19 03:15
Story	Generics: The Importance of Wildcards Ouch - generalization by marco Hmpf by marco Makes more sense by marco Type deducible from call stack... by marco Hairy details by marco	Ehud Lamm	2011-01-14 15:36
Story	Guido: Language Design Is Not Just Solving Puzzles Of course, I want it to be by marco Yah, I'll admit it by marco Same is true for the current 'Yacc is Death' discussion by marco What is Useful? by marco Guido is very driven by the user by marco	Ehud Lamm	2011-01-05 17:06
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