Lambda the Ultimate

type	title	author	last post
Forum topic	Eliminating left recursion Fully parenthesizing by marco Maybe LC-parsing? by marco Ah, okay, great by marco Uh, I read it in the paper? by marco Yeah well by marco Yah nice by marco Addendum by marco Don't by marco First hit by marco Pfff.. by marco	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance More Guilty by marco Can someone explain by marco As far as I understood by marco	shap	2016-11-24 01:04
Forum topic	How is structural typing checked? Wild Guess by marco	mamcx	2016-10-26 16:44
Forum topic	Feedback requested: A sample implementation of L-systems in Haskell Dude. Hammer, Nail. by marco Monad was Used to Sequence Operations on the Internet by marco The URL by marco	filipallberg	2016-09-19 18:37
Forum topic	Term Rewrite System Implementations? Yeah well by marco As I stated before by marco Untyped SK by marco Rewrite System != Type System by marco Bullshit by marco Rewrite System != Program by marco I don't see the problem by marco Sssh... by marco	Ivan V.	2016-09-18 00:10
Story	Functional Pearl: Type-safe pattern combinators Exhaustiveness checking by marco	naasking	2016-09-16 18:18
Forum topic	Lecturing birds how to fly History by marco The flip side of generalized theories by marco Happens a lot by marco	Charles Stewart	2016-09-07 18:46
Forum topic	Programming Languages as Mathematical Representations You can also flip the question and see math as programming by marco	mfidelman	2016-09-03 23:25
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Sophistry by marco Relies entirely on deconstructors outside the Monad by marco Illogical Nonsense by marco Extending the Hack by marco Which Effects? by marco Ten thousand competing manners of looking at monads by marco I loathe monads by marco I don't see the problem by marco About the same age by marco A modest proposal by marco	Rys McCusker	2016-07-15 20:51
Forum topic	Recursive types Algol'68 Terminology by marco There should be a simple check by marco We agree on that by marco Don't expect to be wrong by marco Don't think it's that simple by marco Probably only turns off the Occurs-check by marco	skaller	2016-06-17 06:02
Forum topic	Learning to Execute and Neural Turing Machines Could a neuroscientist understand a microprocessor? by marco	Sean McDirmid	2016-05-30 14:37
Forum topic	Theory of syntax extensions: does it exist? Depends by marco	johnwcowan	2016-05-30 10:47
Forum topic	A2: Analog Malicious Hardware	marco	2016-05-28 09:36
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report Yah. How to fold a map. by marco Not very much by marco What is your definition of fold? by marco Uh? by marco +1 by marco Addenda by marco Why? by marco Do a bit of FP by marco Haskell, Miranda, Squiggol by marco PDF lacks Pictures by marco	Greg Buchholz	2016-05-26 05:14
Forum topic	Best successor to Scheme? Yeah. Whatever. by marco Not there yet by marco Hold your horses! by marco Maybe not quote? by marco Right.. by marco Don't touch Knuth! by marco	raould	2016-05-03 06:31
Forum topic	Binary Representation - Is it something to rise above? No by marco Yah. I don't do that by marco The machine is the arbiter by marco Of course it didn't stop by marco On Synthesis by marco Hehe by marco Adherence to Bits is Symptomatic of a Slave Morality! by marco Wouldn't like to use it by marco	Ray Dillinger	2016-04-24 02:14
Forum topic	Some questions concerning P != NP BTW. LtU has threads by marco I gather that is even normal by marco You already answered that yourself by marco Ah by marco	Carter Cheng	2016-04-15 08:07
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Feel the Barn! by marco Sentance by marco	raould	2016-04-02 22:53
Forum topic	SFI Talk: Four the hard way: Computer design and living software	marco	2016-04-02 22:01
Forum topic	Formalization and programming language design -- explained to all Are Cats Animals? by marco Anyone who uses Scala heavily will find lots of bugs by marco	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language Well. Depends by marco It's not my impendence match by marco Falls into my category of hand written by marco So why is nobody doing that? by marco	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? Links by marco The answer should be NO by marco Can you type arbitrary LC terms? by marco	raould	2016-03-31 23:06
Forum topic	Is the "Getting started"-guide up-to-date? No by marco Where not to look by marco	filipallberg	2016-03-29 06:03
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Hardware Debugging is (was) Very Costly by marco	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception Unification with a Cut Construct by marco	Keean Schupke	2016-03-07 06:17
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