Lambda the Ultimate

type	title	author	last post
Forum topic	Nanopass Compiler Framework Fusion by Matt M	Bryan Turner	2015-05-13 22:28
Forum topic	Casting addresses of other Actors considered harmful LtU policies by Matt M Not much by Matt M Front page? by Matt M	Hewitt	2015-05-13 00:59
Forum topic	Type Theory Glossary Survey papers by Matt M	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available Also holds in python by Matt M That's what python does by Matt M Albatross other meaning by Matt M Congrats on the release by Matt M	hbrandl	2015-05-08 19:57
Forum topic	What makes LtU more or less enjoyable? Who is benefiting from this? by Matt M Feedback by Matt M No by Matt M Doubling down by Matt M Silver bullet by Matt M	gasche	2015-05-07 06:03
Forum topic	Controversy over the definition of "Logic Program" LtU by Matt M Is this standard terminology? by Matt M	Hewitt	2015-05-03 22:07
Story	Paul Hudak I don't know anything about by Matt M	Ehud Lamm	2015-05-02 00:37
Forum topic	C++ Parser Combinator Library It would probably matter by Matt M	Keean Schupke	2015-05-01 13:29
Forum topic	Fixing broken software development for the masses Previously on LtU by Matt M	raould	2015-04-22 18:33
Story	Seemingly impossible programs argument by reason by Matt M	Ohad Kammar	2015-04-18 02:15
Forum topic	how many lines of code can civilization support? This comment can almost be by Matt M Agree by Matt M There was already an example by Matt M "a speech recognition guy" by Matt M Three Laws of Robotics by Matt M How about air...planes then? by Matt M I'll bite by Matt M Parody by Matt M Nonsense! by Matt M Hmm by Matt M	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Nevermind by Matt M Thanks by Matt M I'd bet that MLton would by Matt M I'm confused by Matt M A restricted form of partial evaluation by Matt M Module inlining by Matt M partial evaluation—but we by Matt M Is this the way forward? by Matt M	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation Haskell uses the Eq type by Matt M Extension should be orthogonal by Matt M Can you elaborate on the problem? by Matt M Interesting paper by Matt M	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Smarty pants by Matt M	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Type checking works by by Matt M Open cases, but still structural recursion by Matt M	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages Excluded middle by Matt M Can you back up to a problem statement? by Matt M Closed vs. Open? by Matt M	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Template type parameters and auto = Type inference by Matt M	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. Roughly by Matt M Low level by Matt M Hubris would make a good PL name by Matt M So the conversion of code by Matt M My question was about the polytypic garbage collector by Matt M To be honest, I don't really by Matt M Idealism vs. realism by Matt M Different approach by Matt M Sometimes optional, sometimes not by Matt M Whatever tool chain you have by Matt M ...	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? Good luck by Matt M More specifically by Matt M I can't get there by Matt M Philosophy by Matt M Neither true nor false? by Matt M Good luck by Matt M My bad by Matt M Hmmm by Matt M What are theorem combiners? by Matt M Well by Matt M ...	bryanedds	2015-02-02 17:56
Forum topic	return-type polymorphism of monads done right in a dynamic language Somewhat different? by Matt M Doesn't work in general by Matt M	gasche	2015-01-27 16:18
Story	Call-by-Name, Call-by Value and the Lambda Calculus That Plotkin paper defines by Matt M	Ehud Lamm	2015-01-12 02:08
Forum topic	How can be a interpreter faster than C (aka: kdb+) The Haskell rule by Matt M I agree by Matt M Category theory by Matt M	mamcx	2014-12-31 14:26
Forum topic	Function Readability & Understandability Oh I missed that you're by Matt M Concat is not cons by Matt M I don't understand your by Matt M Gobbledygook by Matt M Is that what the relational by Matt M Recursion by Matt M	Keean Schupke	2014-12-28 20:07
Forum topic	Let's kick continuations around for a while... Single threaded by Matt M Processes by Matt M Processes by Matt M Formal vs. informal by Matt M Thanks by Matt M Semantics by Matt M What does model mean? by Matt M Machines by Matt M I've only skimmed these by Matt M	Ray Dillinger	2014-12-26 18:05
Forum topic	Paged topics I do this same thing by Matt M	raould	2014-12-09 21:59
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