Lambda the Ultimate

type	title	author	last post
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
Forum topic	CFP: Book Chapters for "A Librarian’s Introduction to Programming Languages" Oh come on by Matt M	mfidelman	2014-03-25 23:50
Forum topic	"null" is to tagged unions as ???? is to records Built-in dirty flags? by Matt M	Kannan Goundan	2014-03-22 20:06
Story	Propositions as Types Yes, when someone says by Matt M Predicate logic vs. propositional logic by Matt M Hmmm by Matt M That doesn't work by Matt M Yikes, that's a lot of by Matt M First, CH does not identify by Matt M Thanks by Matt M So you can write (\x. x x) by Matt M Why not Curry-Howard? by Matt M	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Resilient Languages Tooling could possibly help by Matt M	spdegabrielle	2014-03-11 00:57
Story	Wirth Symposium Libre software that isn't gratis by Matt M	Luke Gorrie	2014-03-04 20:32
Forum topic	Syntax for reification of types Being stored in a variable, by Matt M	cdiggins	2014-03-04 19:20
Forum topic	Disallow shadowing? If you could convert a map by Matt M There is always a mapping by Matt M But you forgot the killer by Matt M 😏 by Matt M Map considered harmful by Matt M Something's wrong by Matt M Thanks by Matt M Should I imagine a wine bottle? by Matt M We could even make formal by Matt M Named parameters to the rescue? by Matt M ...	Y	2014-02-25 02:06
Forum topic	Booleans vs strings If your coercions are truly by Matt M Fuzzy judgements by Matt M If a particular subprogram by Matt M Well by Matt M Unconvinced by Matt M	jamii	2014-02-15 22:49
Forum topic	Minimal implementation of state machines Proving minimality of number by Matt M	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Transitive usefulness by Matt M Termination proofs are worthless in practice by Matt M Have you formalized what's by Matt M I think you're probably by Matt M I'm actually sort of by Matt M I assumed you'd have some by Matt M What I meant is that dynamic by Matt M Blaugh by Matt M In any pay as you go system by Matt M Types as annotations with attached semantics by Matt M ...	Sebastian Okon	2014-01-30 21:54
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