Lambda the Ultimate

type	title	author	last post
Forum topic	PL vs. PX Idempotence isn't necessary by Matt M Fragmentation and interop costs by Matt M Being functionally vague by Matt M hey, these objects can auto by Matt M I wasn't complaining about by Matt M What is art? by Matt M	Sean McDirmid	2015-10-26 18:24
Forum topic	server life expectancy? Once upon a time I'd have agreed by Matt M	raould	2015-10-21 18:02
Forum topic	alternate basic models of framing code behavior and purpose? Great, thanks by Matt M Functional modeling by Matt M Devil's advocate by Matt M	Rys McCusker	2015-10-15 04:27
Forum topic	Optimal efficiency More control over compilation by Matt M "without adding imperative features" by Matt M	Keean Schupke	2015-10-12 06:19
Forum topic	Live programming in APX, an early peek Backing up by Matt M Agreed by Matt M Changing code by manipulating output is hard by Matt M Proposing generalizations by Matt M Hanging out the passenger side of his best friend's ride by Matt M But would it be possible to by Matt M Looks cool by Matt M	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Regions by Matt M You don't ask the pointer for a deref cap by Matt M Reading between the lines a by Matt M An example by Matt M Better semantic modeling by Matt M Looks like you modeled it by Matt M	Ray Dillinger	2015-09-29 15:36
Forum topic	meta: September "propose a post" post (proposal) State of the art by Matt M	Thomas Lord	2015-09-15 10:27
Story	Freer Monads, More Extensible Effects So, who are you? by Matt M Brandon Bloom by Matt M Thanks in advance by Matt M	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU There's a spectrum of by Matt M Yes by Matt M A little less conversation, a little more action please by Matt M Disagree with you, not the policy by Matt M Meh by Matt M Sure by Matt M	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". The trick by Matt M In bed by Matt M	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Reader monad by Matt M Looks uncontroversial by Matt M That looks like the main difference by Matt M A difference by Matt M If you don't see my point, by Matt M Semantics by Matt M Abstract quantities vs. symbolic quantities by Matt M My point was that in order by Matt M 1. Labeling a vector of by Matt M Defining radiusEarth in by Matt M ...	Ehud Lamm	2015-09-02 15:49
Forum topic	Implementing the communication semantics of actors Yes by Matt M Isn't the point that the by Matt M	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets Which is the string class? by Matt M Changing how strings are implemented by Matt M RE: Jules' article on collection design by Matt M	Wolf Logan	2015-08-24 11:10
Forum topic	Are Actors a Good Model for Computation. If your single line by Matt M	Keean Schupke	2015-08-19 02:04
Forum topic	Limitations of FRP? I guess you're looking at it by Matt M I don't know that it's fair by Matt M Fixing fix by Matt M Trickiness if we don't? by Matt M Yes by Matt M Doh by Matt M Well, look here where he's by Matt M Not sure by Matt M Event with Wait/Now is is a by Matt M Appropriateness of Next Next? by Matt M ...	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs I think you may be able to by Matt M Yeah by Matt M Thanks by Matt M Are you saying that the rule by Matt M De Morgan maybe? by Matt M Still mystifying by Matt M	Hewitt	2015-08-03 00:08
Forum topic	NOOL 2015 Good that work is being done on the definition of OOP by Matt M	Sean McDirmid	2015-07-31 00:19
Forum topic	Research vs implementation, theory vs practice, and LtU I should have explained that by Matt M Meta-identity by Matt M The point is that code using by Matt M I'm confused. An object can by Matt M I agree with Rys' by Matt M I didn't follow this. I'm by Matt M Well, my personal preference by Matt M In my opinion an even more by Matt M Why not? by Matt M Backwards by Matt M ...	Blaisorblade	2015-07-28 16:57
Forum topic	New paper: Theory of Programs To me, it looks roughly by Matt M Why so simple? by Matt M Specification vs. Program by Matt M	Bertrand_Meyer	2015-07-27 16:21
Forum topic	"Prep" in programming languages Trying again by Matt M Guaranteed Eventual Processing by Matt M What is prep? by Matt M	Hewitt	2015-07-25 23:26
Forum topic	When are Actors appropriate? Thanks for the link! by Matt M re: coin flips and programs (re DL by computer is closed) by Matt M Another post about Godel, with apologies to LtU by Matt M Closed by Matt M What is "mathematics"? by Matt M This was what I found controversial by Matt M No by Matt M Where does it end? by Matt M What is mathematics? by Matt M Rigorous math by Matt M ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Models by Matt M The core of CDL is by Matt M Simpler by Matt M Why not? by Matt M Family polymorphism would by Matt M Just weaken System F by Matt M Right by Matt M System F by Matt M Describing the landscape by Matt M Controversially by Matt M ...	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? Thanks by Matt M Can you elaborate? by Matt M Free software by Matt M Will this improve things? by Matt M Do it by Matt M Conversations by Matt M	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators Your system sounds neat by Matt M Editor support by Matt M	Alexander Morou	2015-07-14 06:50
Forum topic	Strengthening Process Calculi Drive-by comments by Matt M	raould	2015-07-06 12: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