Lambda the Ultimate

type	title	author	last post
Story	Strange Loop 2012 Video Schedule Ultrafinitism is nutty by Matt M	Ehud Lamm	2012-10-28 21:46
Forum topic	Aha! Programming Language I don't understand what you by Matt M Ackermann by Matt M Feedback by Matt M I didn't notice the generics by Matt M Looks total to me by Matt M How would you define "pure" by Matt M You're arguing that Haskell by Matt M It sounds like we probably by Matt M The last points of my by Matt M Haskell programs are pure by Matt M ...	rmovchan	2012-10-19 03:50
Forum topic	DRAKON-Erlang: Visual Functional Programming My rib by Matt M We don't need another synonym for 'good.' by Matt M	Stepan Mitkin	2012-10-12 08:32
Forum topic	P = NP question You're probably right by Matt M Finite P=NP by Matt M	Carter Cheng	2012-10-10 22:26
Forum topic	In defense of semicolon Another case of implicit vs. explicit by Matt M	Sean McDirmid	2012-10-08 22:32
Forum topic	Most web developers prefer dynamic languages No by Matt M Is this related to Opa, by Matt M	Henri Binsztok	2012-10-08 22:31
Forum topic	Other free theorems I agree by Matt M Simpler with asymmetry by Matt M Parametricity after all? by Matt M Normalization by Matt M Parametricity by Matt M Update by Matt M	Matt M	2012-10-05 12:00
Story	Informed dissent: William Cook contra Bob Harper on OOP The One True Way by Matt M I disgree that subtyping is complexifying by Matt M I agree by Matt M Sub-typing vs. type systems that track sub-types by Matt M Subtyping is intuitive and mathematically simple by Matt M Compared to what? by Matt M	Ehud Lamm	2012-09-29 09:12
Forum topic	Power Rows Links are borked by Matt M	Henri Binsztok	2012-09-28 12:33
Forum topic	Are scalars "just" degenerate matrices? Grapheme Clusters by Matt M What is a string? by Matt M Wow by Matt M The associativity of matrix by Matt M Scalars are not matrices by Matt M	Douglas McClean	2012-09-22 21:38
Story	Tiny Transactions on Computer Science GOTO here then there. The by Matt M	Manuel J. Simoni	2012-09-13 23:12
Story	Oleg: An argument against call/cc First, let me say that I by Matt M If a function, say, filter, by Matt M Non-termination is better as an error than an effect by Matt M	bashyal	2012-09-13 17:06
Forum topic	Alien worlds, values, and you can't touch this Cool paper by Matt M	Sean McDirmid	2012-09-11 13:15
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. They are (by visual by Matt M	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback Thanks by Matt M Propositional equality might suffice by Matt M Decidable? by Matt M We don't want evaluation (do we?) by Matt M "Well understood" by Matt M V-tables I think of more by Matt M By type system, I meant by Matt M I agree with the above by Matt M The main difference between by Matt M Why time travel when you can by Matt M ...	David Wagner	2012-09-04 09:14
Story	Parsing: The Solved Problem That Isn't I understand you to be by Matt M Still skeptical by Matt M OK by Matt M A puddle in a small room in an IMAX movie theatre in Reading, MA by Matt M A distinction by Matt M Well, there's that state -- by Matt M I'm Skeptical by Matt M Nonetheless, if I can obtain by Matt M Right, I do that too, except by Matt M Right, that's basically what by Matt M ...	James Iry	2012-08-26 09:11
Forum topic	Should continuation capture always be considered to be stack unwinding? The semantics aren't complicated by Matt M Processes by Matt M	Manuel J. Simoni	2012-08-25 13:07
Story	The YNot Project I realize nothing's by Matt M Still don't see it by Matt M I don't see it by Matt M Sounds mostly good to me by Matt M	Paul Snively	2012-08-17 23:32
Forum topic	The Economist: Language and Computers: Why language isn't computer code take anything that requires by Matt M Most problem domains (and by Matt M Fuzzy wuzzy was a bear to debug by Matt M Statistics / learning by example by Matt M	kms	2012-08-11 20:37
Forum topic	Escaping the Maze of Twisty Classes You could do this by Matt M	Sean McDirmid	2012-08-04 10:15
Forum topic	Immediate mode GUIs Widget identity by Matt M	Sean McDirmid	2012-07-27 04:18
Forum topic	Why are exceptions not described as 'purely functional'? That sounds a lot like Aha!, by Matt M	bryanedds	2012-07-11 15:05
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education The definition of concurrency and parallelism by Matt M Let's think about this... by Matt M Gradients of the form David by Matt M There's a required runtime by Matt M I still don't see the by Matt M I don't understand by Matt M I agree with you that's by Matt M Can you elaborate / specify by Matt M It's mainly that I prefer by Matt M My sense/cents by Matt M	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited Internal vs. External by Matt M What is internal composition? by Matt M I didn't really follow this by Matt M The Composite Pattern by Matt M You can construct new ones by Matt M Composite pattern by Matt M As a library writer, I by Matt M Same facts, different conclusion by Matt M	Z-Bo	2012-06-28 01:36
Story	ACM A.M. Turing Centenary Celebration Google sucks at email search by Matt M	Luke Gorrie	2012-06-26 15:40
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