Lambda the Ultimate

type	title	author	last post
Forum topic	type theory about programming language? Type soundness proofs are the dullest and least illuminating... by marco So what? by marco I completely agree! by marco Two undefined terms and a question by marco Whatever by marco EVERY LC TERM IS A PROGRAM! by marco Has used Type Theory to write a Darcs-like version by marco Type Theory is easy to compute, since it's just a form of LC by marco Curry-Howard Correspondence is Overrated by marco Change of mind: Type theory is philosophy by marco ...	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Defer the generalization of monomorphic variable to module by marco	Jules Jacobs	2014-05-20 20:26
Forum topic	Sectioning a chain of operators and dot as reverse application Just sharpening the conversation by marco Superficial notational observation by marco	Matt M	2014-05-12 18:17
Forum topic	Value-level programming But the grammar is statically determined at compile time by marco It isn't induction and Exceptions live at the module level by marco Well I can read it by marco - by marco That I'll buy by marco Lists are as fast as arrays! by marco Everything with a door is a Donad by marco Completely irrelevant observation by marco Indirection by marco Only Oleg writes code like that by marco ...	Vladimir Slepnev	2014-05-08 19:51
Forum topic	LtU now supports Mathjax This is a good thing by marco	Anton van Straaten	2014-05-05 14:47
Forum topic	Giant list of visual PLs That much I know by marco Simulink and Labview by marco Showcases a computer developed in Minecraft by marco	Manuel J. Simoni	2014-05-02 16:09
Story	.NET Compiler Platform ("Roslyn") That sounds like a really good idea! by marco It just follows the grammar by marco On the efficiency by marco Parallel tests two alternatives by marco Tim Sweeny once posted numbers on that by marco The dream of programming without debugging is still just a dream by marco Spooky control flow II by marco Spooky control flow by marco Possible by marco Stuff just fell out of fashion by marco ...	Ehud Lamm	2014-04-22 23:53
Story	What Are The Resolved Debates in General Purpose Language Design? Lexical level is part of the grammar by marco Yeah, what would you do with it anyway... by marco As far as I know by marco Hmpf by marco R5RS and R6RS Scheme by marco If it is solved... by marco	James Iry	2014-03-31 20:55
Forum topic	Haxe 3.1 is here Haxe's developer used to by marco	raould	2014-03-07 00:50
Forum topic	Automatically learning grammars from text NP complete problem with approximations by marco	nabreit	2014-02-25 04:38
Forum topic	PuzzleScript Nice Teaching Device by marco	Tess Foley	2014-02-01 15:29
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco	Adam Chlipala	2014-01-15 13:50
Forum topic	Different approaches to letting a programmer define interface implementations. I would have loved to have avoided the Open discussion by marco Ah. Success and Goodbye. by marco Pattern matching on Types instead of values. by marco Turing Tarpit, again. by marco No I am not by marco Try it by marco Row polymorphism doesn't perform often by marco Closed vs Open by marco RTFM by marco Breaks too many invariants by marco ...	Kannan Goundan	2014-01-15 04:00
Story	The Genuine Sieve of Eratosthenes Guess so by marco Hehe by marco How silly of me by marco I might be stupid by marco I think the sequence by marco O(n)? Another argument? by marco Great analysis by marco Someone ... by marco Maybe by marco In one word... by marco	Ehud Lamm	2013-10-26 21:32
Story	Why Did M.I.T. Switch from Scheme to Python? To come back to your question by marco Ah by marco Mindset by marco German by marco	Leon P Smith	2013-09-12 17:06
Forum topic	SF-calculus Right by marco I know that.. by marco Someone should come up with a better term by marco Practical Application by marco Quelle Bordelle by marco Yeah by marco Nice by marco Still don't see it by marco I don't get all these arguments by marco	Barry Jay	2013-08-30 18:42
Forum topic	Beyond FRP: physics-inspired programming abstractions? Baffles me too by marco I agree by marco A more concrete post? by marco Off-topic by marco	Sean McDirmid	2013-08-22 19:13
Story	The Three Laws of Programming Language Design Duct tape by marco It ain't broke, it just lacks duck tape by marco Monads remind me of duck tape by marco I don't like the third law. by marco	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” Endorphins not logic by marco	Ehud Lamm	2013-06-06 15:18
Forum topic	Continuation calculus Neat by marco	bgeron	2013-06-05 23:00
Forum topic	Janus: A Time-Reversible Language Data provenance and scientific software by marco Yeah well. by marco Verification tools by marco Yeah it is. by marco Reverse diverges on many plain functions by marco	Sean McDirmid	2013-05-25 11:38
Forum topic	Seeking thoughtful criticisms of functional programming and languages Bull by marco Referential Transparancy by marco Weaving by marco Explicit by marco You missed the point entirely by marco Language or Programming by marco Logging by marco Obligatory Superfluous Comment by marco Why? by marco Possibly by marco ...	scottmcl	2013-03-31 00:40
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Work-stealing by marco Of course you should invent by marco I never was big on patterns. by marco Well, you can't please by marco Do you think its possible by marco Not OO by marco What was wrong with the old definition? by marco	w7cook	2013-01-08 20:02
Forum topic	"Fortress Wrapping Up" HPCC is hard by marco I am not surprised... by marco	Alan Eliasen	2012-11-11 23:51
Forum topic	Aha! Programming Language Deal by marco Dude by marco I do care by marco I don't care by marco dmbarbour, I give up. You by marco You seem to believe that by marco It was the first which came to mind, BUT by marco As a programmer, you should by marco Not really by marco Just a hunch by marco ...	rmovchan	2012-10-19 03:50
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