Lambda the Ultimate

type	title	author	last post
Forum topic	Algebra Of Pointers I suspect raould by Matt M Nitpicking by Matt M Yeah I bungled my words by Matt M Well by Matt M	Keean Schupke	2017-12-30 13:48
Forum topic	Non-determinism: a sublanguage rather than a monad "To justify my earlier by Matt M [removed] by Matt M FSM doesn't imply a particular implementation by Matt M If you change it use a type by Matt M I see, so you wouldn't by Matt M You can capture a KPN as a by Matt M Can you? by Matt M Capturing a KPN by Matt M You're still missing something by Matt M For example '+' in a monad by Matt M ...	Greg Buchholz	2017-10-28 07:57
Story	"8th" - a gentle introduction to a modern Forth Too restrictive? by Matt M Simple language = intermediate representation? by Matt M Core syntax vs. abstract syntax by Matt M	Allan McInnes	2017-10-14 05:08
Forum topic	The Platonic Solids of Software Construction and Their Realization in C If I write a library that by Matt M That's a very implementation by Matt M I agree by Matt M	bryanedds	2017-09-29 19:00
Forum topic	Something I forgot Taking names by Matt M Dropping names by Matt M Names! by Matt M References as abstract values by Matt M Regarding decidability, yes, by Matt M Nominal typing of data by Matt M The argument doesn't matter? by Matt M Equality by Matt M Referential Transparency by Matt M ... by Matt M ...	marco	2017-08-26 06:44
Story	Happy Birthday, dear Lambda: 17 is good edition Fun by Matt M	Ehud Lamm	2017-08-18 06:51
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. Thanks by Matt M Hmm by Matt M Request for clarification by Matt M	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	What would be involved in moving logic beyond FOL? No, you're right by Matt M Second sort for relations by Matt M My take by Matt M Yeah by Matt M Any particular finite path by Matt M Anticlimactic by Matt M FOL already has trouble by Matt M What's an infinite path? by Matt M Usually we want finite paths by Matt M What do you mean that FOL is by Matt M ...	Charles Stewart	2017-07-14 15:18
Forum topic	Finding Solutions vs. Verifying Solutions Keep posting by Matt M :/ by Matt M In a case of verifying, we by Matt M Heh sorry by Matt M The Very Math? by Matt M I'm pretty sure that the by Matt M Probably buggy by Matt M	Ivan V.	2017-05-29 18:23
Forum topic	A refutation of Gödel's first incompleteness theorem Godel did first prove a by Matt M the usual thing is to by Matt M Free variables by Matt M Try this? by Matt M Full stop, he said by Matt M Sure by Matt M John, I'm not sure about this by Matt M By Arithmetic I mean a by Matt M Wrong parse by Matt M You're right by Matt M ...	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Neat by Matt M I'm mobile today so can't by Matt M Ok by Matt M Sorry! by Matt M Left as exercise for the reader (FIXED) by Matt M	marco	2017-05-16 02:03
Forum topic	Domain specific language for playing games Thanks by Matt M Sean, send me an email by Matt M FRP by Matt M	davidb	2017-05-03 22:47
Forum topic	The Two Dualities of Computation: Negative and Fractional Types Very funny Ha ha by Matt M I think we just need to by Matt M Rationalization by Matt M	Greg Buchholz	2017-04-26 16:36
Forum topic	New PL forums: plforums.org Bootstrapping by Matt M	glebm	2017-04-13 02:55
Story	Contextual isomorphisms Are nested types not a complication? by Matt M	gasche	2017-03-10 16:30
Story	Salon des Refusés -- Dialectics for new computer science I don't think your theory by Matt M	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. Set theory and time by Matt M Division by Matt M Thanks by Matt M This vaguely reminds me of by Matt M Types vs. monads by Matt M That we shouldn't be forced by Matt M What do you mean that the by Matt M	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Sound? by Matt M You're right that adding an by Matt M Yeah but by Matt M Agree in general, but not in this case by Matt M I don't think this is the by Matt M	Matt M	2017-02-07 04:40
Forum topic	Generic overload resolution Multiple dispatch is harder by Matt M	Jon Purdy	2017-01-22 15:41
Forum topic	Unsoundness Thank you - I'll check it out by Matt M Purity by Matt M Interesting by Matt M Depends on your language by Matt M	skaller	2017-01-20 15:16
Story	Do Be Do Be Do Also by Matt M Fixed state cofunctions by Matt M Hmm by Matt M Yield returns control to the caller by Matt M What does yield do? by Matt M Thoughts by Matt M Lost by Matt M Where do co-functions live? by Matt M Oops by Matt M Manually threading state by Matt M ...	gasche	2017-01-12 18:51
Forum topic	Eliminating left recursion Dragon Book by Matt M	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance When applies applies by Matt M Is every theorem prover based on Curry-Howard? by Matt M	shap	2016-11-24 01:04
Forum topic	ZenScript, A new open-source language project. Type inference and overloading by Matt M	Keean Schupke	2016-10-01 16:48
Story	Philip Wadler: Category Theory for the Working Hacker Simplicity begets correctness by Matt M Value-oriented programming by Matt M	Ehud Lamm	2016-09-23 20:29
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