Lambda the Ultimate

type	title	author	last post
Story	The Unison Programming Platform I don't think it's that clear by Matt M What is binding? by Matt M	naasking	2015-06-13 14:16
Forum topic	Functors are Type Refinement Systems Thumbs up. by Matt M	adrieng	2015-06-12 20:12
Forum topic	The evolution of Rust Top at the top by Matt M	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation True by Matt M First order interpretation by Matt M First order logic is fine by Matt M Prolog is a logic plus an by Matt M "One object we want to test" by Matt M Category error by Matt M We don't need 0 = 0. That's built into equality. by Matt M See my last post by Matt M Axiomatic semantics by Matt M Heading to the second page by Matt M ...	Hewitt	2015-06-02 11:07
Story	Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions :) by Matt M Maybe so by Matt M Buy-in by Matt M Sounds good to me by Matt M Moderation by Matt M No worries by Matt M It turns people off to posting by Matt M Who is this helping? by Matt M	gasche	2015-05-30 21:12
Forum topic	More information about Albatross I don't think it is by Matt M Degrees of belief and provenance by Matt M Consistency by Matt M	hbrandl	2015-05-29 13:47
Forum topic	message, stream and protocol typing Sounds the same by Matt M Note by Matt M (Process P) is the type of by Matt M Polymorphism? by Matt M Not sure by Matt M I don't think it's the same, by Matt M Brought to you by the letter P by Matt M Protocols proper by Matt M Processes by Matt M	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Why not let the programmer by Matt M Phrase completions by Matt M What file format? by Matt M You're right by Matt M One more point by Matt M UI spectrum by Matt M Dot is magic by Matt M Not with notepad by Matt M There is no tradeoff by Matt M Agree by Matt M ...	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? As it should be by Matt M It's possible by Matt M True by Matt M The sense that I meant by Matt M You lost me by Matt M Not a good idea by Matt M No evaluation order by Matt M Domain theory by Matt M Thanks by Matt M Bad smell by Matt M ...	Matt M	2015-05-20 00:23
Forum topic	Callisto: building a minimalist language on "versioned objects" Obvious problems by Matt M	gasche	2015-05-14 23:00
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
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