Lambda the Ultimate

type	title	author	last post
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
Forum topic	Tolerant vs. Demanding Software From what I gather by marco	kclancy	2010-12-30 04:44
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Hilarious! by marco	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation Nice by marco I leave philosophy to Heidigger by marco	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited True by marco All practical implementations are cubic by marco Someone showed it is reducible to matrix multiplication by marco Abstract Complexities by marco	Thomas Lord	2010-12-21 06:06
Story	Sapir-Whorf 70 years on Hard to believe he said that as a 17 year old! by marco A language is ... by marco	bashyal	2010-12-20 12:25
Forum topic	Oracle, Sun, and Fortress Just a Double Reply by marco	mzraly	2010-12-20 01:16
Story	program verification: the very idea Enzo Ferrari by marco	el-vadimo	2010-12-17 18:21
Forum topic	The fundamental limitations of parser combinators... and how to fix them. Reification by Wikipedia by marco I miss the term Reification by marco	Dominique Devriese	2010-12-17 13:17
Forum topic	"Future of Programming Languages" panel Is there room for a powerful but kinda slowish VM? by marco	puredanger	2010-12-14 18:29
Story	A Preliminary Survey on Functional Programming I get that... by marco That by marco I think FP is just ready by marco I don't think most programmers would know the answer to that by marco I feel... by marco Ah well. Guess you're right by marco Practice by marco They simply learn the theories after applying them. by marco Programmers and Education by marco Ah by marco ...	Ehud Lamm	2010-12-14 05:28
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