Lambda the Ultimate

type	title	author	last post
Forum topic	Non-determinism: a sublanguage rather than a monad If you accept a transition by Andrew Moss Double-disagree by Andrew Moss Non-determinism as an effect by Andrew Moss	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C Specialisation by Andrew Moss Complexity is not free by Andrew Moss Strong claims require strong evidence by Andrew Moss	bryanedds	2017-09-29 19:00
Forum topic	Reversing operations Program Inversion by Andrew Moss	Pablo Barenbaum	2017-09-08 16:08
Forum topic	Language features for tracing JIT? That is probably true - the by Andrew Moss Multi-path execution by Andrew Moss	Luke Gorrie	2017-08-21 14:33
Forum topic	How to name the inverse functions of constructors Top-level reply? by Andrew Moss Distiller? by Andrew Moss	hbrandl	2017-07-03 00:16
Story	Imperative Functional Programs that Explain their Work I can't read your example by Andrew Moss But the "everyday language" by Andrew Moss	gasche	2017-05-31 09:03
Forum topic	A refutation of Gödel's first incompleteness theorem The abstraction is normally by Andrew Moss Yes by Andrew Moss Encodings by Andrew Moss Not convinced. by Andrew Moss	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Any thoughts on WanaDecrypt0r? Smart people by Andrew Moss The team that wrote it by Andrew Moss Exploits are old by Andrew Moss	marco	2017-05-21 21:12
Forum topic	Domain specific language for playing games Multigame by Andrew Moss	davidb	2017-05-03 22:47
Forum topic	CFL parsing, and another way to look at the CNF... Tempered skepticism by Andrew Moss Interesting by Andrew Moss Language is LR(1). by Andrew Moss Complexity by Andrew Moss	Cyril	2017-03-07 07:27
Forum topic	Process Network for Effects, Monad Alternative Logic languages by Andrew Moss Message loss? by Andrew Moss So what is the difference? by Andrew Moss CSP / Occam without alternation? by Andrew Moss	dmbarbour	2017-02-20 06:09
Story	Salon des Refusés -- Dialectics for new computer science Explains more than the love. by Andrew Moss Thought provoking by Andrew Moss	gasche	2017-02-19 07:18
Forum topic	How will look a modern imperative language? All love here is functional only.. The disadvantage of the by Andrew Moss That sounds like it. by Andrew Moss Felix grammar parsing example? by Andrew Moss Control types by Andrew Moss Works in theory by Andrew Moss Hierarchy by Andrew Moss	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Alternative grounding by Andrew Moss	Matt M	2017-02-07 04:40
Forum topic	Unsoundness Henry Massalin by Andrew Moss	skaller	2017-01-20 15:16
Forum topic	Defining recursive function as a monad (or other solutions) I think that you have the by Andrew Moss Interpolation of operators by Andrew Moss Non-integer extension of the "up-arrow" operator. by Andrew Moss Empty Monad by Andrew Moss Rewrite the do notation. by Andrew Moss	Ivan V.	2016-12-17 08:07
Forum topic	Eliminating left recursion Transformation by Andrew Moss It doesn't by Andrew Moss	skaller	2016-12-13 00:23
Forum topic	Feedback requested: A sample implementation of L-systems in Haskell Initially, we identify an by Andrew Moss	filipallberg	2016-09-19 18:37
Forum topic	language handling of memory and other resource failures Concurrency = Unpredictability by Andrew Moss	Rys McCusker	2016-08-27 18:57
Forum topic	Microscript Looks position independent by Andrew Moss What is the benefit of the data label? by Andrew Moss Calls and returns by Andrew Moss Sparse memory interface by Andrew Moss	Ivan V.	2016-08-08 22:31
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners Fixed size by Andrew Moss	johnwcowan	2016-07-29 14:27
Forum topic	how to design PL support for effects emerging from parallel non-determinism? The problem is formalising by Andrew Moss	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly A retrospective by Andrew Moss Low-level by Andrew Moss Locations != Offsets by Andrew Moss The heap? by Andrew Moss Abstract register machine by Andrew Moss	Ivan V.	2016-06-24 17:31
Forum topic	Learning to Execute and Neural Turing Machines Deep API Learning by Andrew Moss Nice juxtaposition by Andrew Moss	Sean McDirmid	2016-05-30 14:37
Forum topic	A2: Analog Malicious Hardware Beautiful by Andrew Moss	marco	2016-05-28 09:36
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