Lambda the Ultimate

type	title	author	last post
Forum topic	Aggregations (e.g., sets) in Logic Programs Non negative costs by Andrew Moss	Hewitt	2015-08-03 00:08
Story	Facebook open sources "Infer", static program analysis tool Wow! by Andrew Moss Been a while by Andrew Moss Thanks by Andrew Moss Checking patterns by Andrew Moss	Z-Bo	2015-07-28 18:54
Forum topic	Research vs implementation, theory vs practice, and LtU Lack of positive feedback by Andrew Moss	Blaisorblade	2015-07-28 16:57
Forum topic	"Prep" in programming languages Probably veering off into a new topic by Andrew Moss Some fiction would be acceptable. by Andrew Moss Unbounded but non-terminating. by Andrew Moss	Hewitt	2015-07-25 23:26
Forum topic	When are Actors appropriate? Termination by Andrew Moss Is it really a problem? by Andrew Moss	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Many functions by Andrew Moss	Hewitt	2015-07-21 06:16
Story	Punctuated equilibrium in the large scale evolution of programming languages Raw data by Andrew Moss	Allan McInnes	2015-07-20 01:13
Forum topic	Who can make LtU2? Which consensus? by Andrew Moss	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators ANTLR by Andrew Moss	Alexander Morou	2015-07-14 06:50
Forum topic	Exporting the database More of a toy than a serious attempt at replacement by Andrew Moss	Andrew Moss	2015-07-08 08:43
Forum topic	Lamport: Interprocess Communication Simultaneous Overlap by Andrew Moss	Allan McInnes	2015-07-07 08:06
Forum topic	Strengthening Process Calculi Magic by Andrew Moss Sure? by Andrew Moss Probability by Andrew Moss A lovely analogy, and one by Andrew Moss No promises by Andrew Moss Occam by Andrew Moss CSP by Andrew Moss Small state space by Andrew Moss Semantically Equivalent by Andrew Moss	raould	2015-07-06 12:07
Forum topic	Paper journals are in bad shape; priority established in HAL ... Duplication by Andrew Moss	Hewitt	2015-06-07 15:39
Forum topic	Have tracing JIT compilers won? In the same vein by Andrew Moss	Peter Michaux	2015-05-26 21:09
Forum topic	how many lines of code can civilization support? non-linear by Andrew Moss Probably not by Andrew Moss	Thomas Lord	2015-04-09 22:07
Forum topic	Virgil: a statically-typed language balancing functional and OO features * does language X lead to a by Andrew Moss Really? by Andrew Moss Reality is, there are by Andrew Moss	Kartik Agaram	2014-10-25 23:08
Forum topic	The year that was: 1965. Perhaps by Andrew Moss A review might be nice. by Andrew Moss	Hank Thediek	2014-07-19 13:10
Forum topic	Modern Shell Language Trees by Andrew Moss	Pavel P	2014-04-06 11:51
Forum topic	Automatically learning grammars from text Not solvable in general. by Andrew Moss	nabreit	2014-02-25 04:38
Forum topic	Booleans vs strings Issues by Andrew Moss	jamii	2014-02-15 22:49
Forum topic	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.) I'll dig out a copy and take by Andrew Moss Doesn't help by Andrew Moss Did he? by Andrew Moss Implementation by Andrew Moss	Hewitt	2013-08-14 18:34
Forum topic	Janus: A Time-Reversible Language Really interesting idea by Andrew Moss Looks somewhat different by Andrew Moss	Sean McDirmid	2013-05-25 11:38
Forum topic	what's a useful definition of equivalent functions? Multiplication Example by Andrew Moss	Ray Dillinger	2013-05-20 09:29
Forum topic	Writing a Compiler Compiler... Original Question by Andrew Moss Example by Andrew Moss Little unclear by Andrew Moss	Alexander Morou	2013-05-16 08:31
Forum topic	We're doing it wrong.... He's probably assuming a by Andrew Moss	Ray Dillinger	2013-05-15 19:34
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