Lambda the Ultimate

type	title	author	last post
Forum topic	Is Rx FRP? Fewer weasel words by Matt M	Sean McDirmid	2014-07-08 18:02
Forum topic	Dynamic Hindley-Milner? Have you looked at Prolog? by Matt M	Sean McDirmid	2014-07-08 08:42
Forum topic	Compositional let bindings What about this? by Matt M Not crazy by Matt M Craziness by Matt M What is the meaning of this? by Matt M	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces How about the Maycur programming language? by Matt M	Sean McDirmid	2014-07-04 03:31
Forum topic	Math.js crashes my iPad Yep by Matt M It used to crash for me as by Matt M	Sean McDirmid	2014-07-03 16:05
Forum topic	Rank-0 Intersection Type System The notion of subject by Matt M You seem to be shifting by Matt M What passes the test? by Matt M No by Matt M The princess is in another castle by Matt M Multi-HM vs. Rank-0-intersection algorithm by Matt M Here's the issue by Matt M I just meant that you can by Matt M Yeah by Matt M Completeness by Matt M ...	Keean Schupke	2014-06-15 11:52
Forum topic	Notation for debugging type derivations. Repeating the context seems like a bad idea by Matt M	Keean Schupke	2014-06-06 19:04
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open I don't know if it's what by Matt M	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Enforcement by Matt M Don't agree by Matt M	Talin	2014-05-31 05:02
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Check out algebraic effects by Matt M Quite a few parts by Matt M Uninhabited by Matt M GetChar is a value by Matt M Confusion by Matt M Interesting by Matt M No by Matt M	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome Yes, you can form streams by Matt M Should streams be formed by Matt M Ah ha by Matt M I'm not following exactly by Matt M What is continuous state? by Matt M Continuous time is okay by Matt M Misunderstanding by Matt M High level too by Matt M Representations vs. refinements by Matt M Requirements by Matt M ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments Probing vs. tracing by Matt M I don't think that's particularly useful by Matt M Phase mismatch by Matt M	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Depends how much it knows by Matt M Impurity wasn't my point by Matt M CH? by Matt M Types usually are propositions by Matt M Soundness by Matt M I started to reply, but by Matt M	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Mezzo by Matt M	Jules Jacobs	2014-05-20 20:26
Forum topic	Sectioning a chain of operators and dot as reverse application Can you give an example? by Matt M Thanks by Matt M	Matt M	2014-05-12 18:17
Forum topic	Value-level programming Thinking about it more, it by Matt M HM doesn't have principal typings? by Matt M Simplifying constraints by Matt M	Vladimir Slepnev	2014-05-08 19:51
Forum topic	LtU now supports Mathjax Excluded middle by Matt M Congrats John by Matt M Cool beans by Matt M	Anton van Straaten	2014-05-05 14:47
Forum topic	The Avail programming language Thanks for the explanation by Matt M Dispatch by Matt M What do you mean and why? by Matt M So you have parameterized by Matt M Thanks by Matt M Anyone figured out what this is about? by Matt M I don't think so by Matt M Yeah by Matt M What's new? by Matt M	Robbert van Dalen	2014-05-05 13:23
Forum topic	Alternatives to ADL? That's a concept by Matt M Seconded by Matt M	Talin	2014-05-02 21:27
Forum topic	Giant list of visual PLs Hmmm by Matt M	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Inquiry into the nature of software complexity. My impression by Matt M Doesn't match my experience very closely by Matt M	bryanedds	2014-04-24 20:30
Story	Deca, an LtU-friendly bare metal systems programming language Too soon by Matt M	Anton van Straaten	2014-04-23 16:10
Story	Study finds that when no financial interests are involved programmers choose DECENT languages a) Hooft accepts the Free by Matt M Or Gödel by Matt M	Ehud Lamm	2014-04-15 05:59
Story	What Are The Resolved Debates in General Purpose Language Design? True by Matt M No language expressive by Matt M What means 'core language' by Matt M Not abstract syntax only by Matt M [...] a core language should by Matt M Hierarchies of Languages by Matt M Libraries can depend on other libraries by Matt M No by Matt M Libraries don't have to be optional by Matt M Zero based indexing by Matt M	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future I understand how monads by Matt M How do you represent by Matt M Semantics of errors by Matt M I'm not following the by Matt M Not true of ST? by Matt M Values in Haskell are pure / by Matt M	bashyal	2014-03-26 03:53
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