Lambda the Ultimate

type	title	author	last post
Forum topic	Its type checking, Jim, but not as we know it. Couple things by Matt M Notation confusion by Matt M Weak edges by Matt M Thanks by Matt M I'm asking whether you can by Matt M Request for clarifications by Matt M I'm just talking about a by Matt M I fixed my example to not by Matt M Okay. That's in line with by Matt M No, I'm loster than that by Matt M ...	Sean McDirmid	2013-12-20 05:56
Forum topic	Strong Mathematical Foundations for Computer Science Typo by Matt M If you stick to the by Matt M This is good stuff, guys. by Matt M	Hewitt	2013-11-25 14:58
Story	Python and Scientific Computing so I'm all for Python by Matt M	Ehud Lamm	2013-11-22 10:03
Forum topic	Why is Static Typing Hard? I assume he means the 8th by Matt M	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory How do you figure? by Matt M Match braces in a separate by Matt M	Alexander Morou	2013-11-09 06:15
Forum topic	xkcd: Functional How's about you just switch it? by Matt M	Sean McDirmid	2013-11-05 20:23
Story	The Genuine Sieve of Eratosthenes On what count? by Matt M Different motivation by Matt M Thanks by Matt M Is that really O(n)? Yes. by Matt M And by now I am certain it by Matt M How many terms are generated by Matt M I don't think it's O(n) by Matt M "There is no way this is linear" by Matt M Recheck? by Matt M Agreed by Matt M ...	Ehud Lamm	2013-10-26 21:32
Forum topic	Write tracking for Nimrod Maybe I don't understand by Matt M I agree by Matt M	Araq	2013-10-23 17:22
Story	Copatterns: the final approach to codata? I understood Oleg to be by Matt M Transfinite induction? by Matt M	gasche	2013-10-11 22:36
Story	LVars: monotonic update for deterministic parallel programming Typing these things by Matt M I wonder by Matt M	gasche	2013-10-08 06:30
Forum topic	GADTs meet subtyping Yes, refinement by Matt M Should eval and expr be defined together? by Matt M	Matt M	2013-09-30 04:52
Story	Types for Flexible Objects Oh, I see by Matt M Why? by Matt M I don't think there is any by Matt M A system designed for by Matt M Non-disagreement? by Matt M Comma comma comma comma comma chameleon by Matt M	naasking	2013-09-16 18:49
Story	Mixed-Site Variance Specifications aren't computable by Matt M Semantics of C[out T] by Matt M	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters OK, so you are arguing that by Matt M SF-calculus showed, it by Matt M How is this possible? by Matt M For nearby items, we're more by Matt M But I am probably imagining by Matt M Discoverability by Matt M I don't understand the by Matt M What does Direct Semantic Access mean? by Matt M OK, I do see the appeal by Matt M IDEs by Matt M ...	James Iry	2013-09-09 19:40
Forum topic	Total Self Compiler via Superstitious Logics At one point, you say "I by Matt M Just to be clear, I'm not by Matt M Another try by Matt M How would you express this by Matt M Monadic Self Interpreters by Matt M	Matt M	2013-09-03 06:14
Forum topic	SF-calculus Don't ever look at the code by Matt M	Barry Jay	2013-08-30 18:42
Story	Dependently-Typed Metaprogramming (in Agda) Great set of notes by Matt M Oh right by Matt M Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax Let me see if I understand... by Matt M Apologies for the strawman by Matt M I think concrete is good by Matt M Source control by Matt M	Thomas Lord	2013-08-25 05:05
Forum topic	Future of Programs using Assertions, Goals, and Plans That sounds like the kind of by Matt M	Hewitt	2013-08-10 01:07
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Thanks for all the fruit by Matt M Right, it's kind of like the by Matt M Few situations for ADTs!? by Matt M If that is painful then don't do that by Matt M The idea is just that some by Matt M SetObject isn't the ADT. Set is. by Matt M Smaller argument by Matt M Why have McDonalds hamburgers been so successful? by Matt M	Sean McDirmid	2013-08-07 23:59
Story	Extensible Effects -- An Alternative to Monad Transformers Good point by Matt M I'm sure they are equivalent by Matt M So you can resume it multiple times by Matt M Handling effects is more than just typing them by Matt M This is probably what my Processes are by Matt M	naasking	2013-08-01 13:03
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket You only have to type it once by Matt M	Sean McDirmid	2013-07-28 00:17
Forum topic	A New Kind of Type System How about The Constraint-o-matic Typenator by Matt M	Sean McDirmid	2013-07-03 18:06
Story	the gnu extension language Ok I read through this new by Matt M What is abstractive power? by Matt M Thanks, I'll check this out by Matt M Thanks for the link. I'll by Matt M This is what I'm implementing with my three day weekend by Matt M I didn't start the fire by Matt M	Manuel J. Simoni	2013-06-28 14:23
Story	Foundations of Inference I'm not up to date on the by Matt M	Paul Snively	2013-05-21 03: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