Lambda the Ultimate

type	title	author	last post
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
Forum topic	An interactive approach to teaching programming concepts Very cool by Andrew Moss	Damian Gill	2013-04-29 12:22
Forum topic	Five "laws" of programming paradigms Constructivism as a Computer Scientist by Andrew Moss whoops by Andrew Moss Tension between #2 and #3 by Andrew Moss	Peter Van Roy	2013-04-07 20:15
Forum topic	Why say Actor Model instead of message passing? Interesting read. by Andrew Moss Really? by Andrew Moss	Clarkd	2013-03-10 08:48
Forum topic	Library maintenance - key to language success? Re: library maintenance is by Andrew Moss	John Nagle	2013-02-07 10:39
Forum topic	indentation yet again? Seeing who is being replied to. by Andrew Moss	raould	2013-02-05 16:10
Forum topic	Numbers and how to represent them. Yup by Andrew Moss Not so true by Andrew Moss Couldn't find it by Andrew Moss Are you sure? by Andrew Moss	Ray Dillinger	2013-02-03 20:13
Forum topic	Programming with alternatives CLP(fd) by Andrew Moss	Robbert van Dalen	2013-01-06 16:56
Story	Life of an instruction in LLVM Rock and a hard place by Andrew Moss	Ehud Lamm	2012-11-30 13:34
Forum topic	Let's fix spreadsheets Nice by Andrew Moss	Robbert van Dalen	2012-11-03 12:23
Forum topic	The SPREAD programming language Examples will help by Andrew Moss	Robbert van Dalen	2012-10-27 05:12
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