Lambda the Ultimate

type	title	author	last post
Forum topic	Moderation on LtU Actor deadlock by Allan McInnes	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Aside by Allan McInnes "Null should not be an Actor" by Allan McInnes https://en.wikipedia.org/wiki/Nullable_type by Allan McInnes	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question DSLs built on less-specific DSLs by Allan McInnes	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions footnote to the footnote by Allan McInnes Sources of disease by Allan McInnes "aggressive culture" by Allan McInnes Engineering battleships by Allan McInnes	Ehud Lamm	2015-08-27 03:57
Forum topic	Implementing the communication semantics of actors Levels of abstraction by Allan McInnes	Andrew Moss	2015-08-24 18:31
Forum topic	Are Actors a Good Model for Computation. Engineering simplifications by Allan McInnes Sure by Allan McInnes Actors don't prevent races by Allan McInnes Actors as mutexes by Allan McInnes	Keean Schupke	2015-08-19 02:04
Story	Tracking the Flow of Ideas through the Programming Languages Literature	Allan McInnes	2015-08-12 21:28
Forum topic	Research vs implementation, theory vs practice, and LtU Multi-paradigm by Allan McInnes Programming languages come from all sorts of places by Allan McInnes lambda by Allan McInnes	Blaisorblade	2015-07-28 16:57
Forum topic	New paper: Theory of Programs UTP by Allan McInnes Active link by Allan McInnes	Bertrand_Meyer	2015-07-27 16:21
Forum topic	Functor Mbeddr-ish by Allan McInnes Interesting by Allan McInnes	marco	2015-07-27 09:23
Forum topic	"Prep" in programming languages Good point by Allan McInnes Useful for controlling concurrency by Allan McInnes Yes, and? by Allan McInnes Yes, but by Allan McInnes Semantics? by Allan McInnes Good question by Allan McInnes	Hewitt	2015-07-25 23:26
Story	mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems Know the feeling by Allan McInnes	Allan McInnes	2015-07-24 21:05
Story	Punctuated equilibrium in the large scale evolution of programming languages Wikipedia by Allan McInnes	Allan McInnes	2015-07-20 01:13
Forum topic	Who can make LtU2? It can work, but... by Allan McInnes From academia to industry by Allan McInnes Purpose by Allan McInnes	raould	2015-07-19 21:56
Forum topic	Lamport: Interprocess Communication Really Actors? by Allan McInnes Simulated turtles by Allan McInnes Example of hardware implementing Actors? by Allan McInnes Metacircular by Allan McInnes Examples? by Allan McInnes Turtles all the way down by Allan McInnes Nothing changes? by Allan McInnes Abstraction vs implementation by Allan McInnes State changes by Allan McInnes Communications media by Allan McInnes ...	Allan McInnes	2015-07-07 08:06
Forum topic	Strengthening Process Calculi Communicating and Mobile Systems by Allan McInnes Choosing an abstraction by Allan McInnes Also not simpler: communicating with you by Allan McInnes It's simple by Allan McInnes Start simple by Allan McInnes Thanks for taking the time by Allan McInnes CSP semantics by Allan McInnes Shared transitions by Allan McInnes Done. Again by Allan McInnes Simpler analysis by Allan McInnes ...	raould	2015-07-06 12:07
Forum topic	XKCD on type theory... Disincentives by Allan McInnes Agile vs "Agile" by Allan McInnes	Ray Dillinger	2015-06-16 21:32
Forum topic	The evolution of Rust Of course by Allan McInnes Not functional by Allan McInnes	qznc	2015-06-07 16:54
Forum topic	message, stream and protocol typing P+Q possibly equivalent to P ||| Q by Allan McInnes Unsure by Allan McInnes Depends by Allan McInnes Sounds process-calculus-ish to me too by Allan McInnes	Rys McCusker	2015-05-25 23:37
Forum topic	Experiment occam by Allan McInnes	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory Software is a design... which is why its mind stuff by Allan McInnes Design == mind stuff by Allan McInnes	aaditmshah	2014-09-27 15:30
Forum topic	Languages without operator precedence occam by Allan McInnes	Douglas McClean	2014-09-10 20:40
Story	Safely Composable Type-Specific Languages	Allan McInnes	2014-08-13 18:09
Forum topic	Reactive Programming Loops and implicit state by Allan McInnes	J Storrs Hall	2014-08-06 03:32
Forum topic	Notation for debugging type derivations. "How to Write a Proof" by Allan McInnes	Keean Schupke	2014-06-06 19:04
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