Lambda the Ultimate

type	title	author	last post
Forum topic	System programming using FP Functional Programming and Embedded Systems by Allan McInnes Haskell in the House by Allan McInnes	Todd Coram	2020-11-27 13:54
Story	"C Is Not a Low-level Language"	Allan McInnes	2018-08-02 15:16
Story	"8th" - a gentle introduction to a modern Forth Re: Commercial Language by Allan McInnes	Allan McInnes	2017-10-14 05:08
Forum topic	On the (Alleged) Value of Proof for Assurance Literate specification by Allan McInnes	shap	2016-11-24 01:04
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” engineering & art by Allan McInnes process redux by Allan McInnes software engineering by Allan McInnes expressiveness by Allan McInnes design by Allan McInnes limitations by Allan McInnes process by Allan McInnes software engineering by Allan McInnes	Allan McInnes	2016-03-25 19:25
Forum topic	Need to Talk Yes by Allan McInnes	marco	2016-02-02 05:56
Forum topic	BrightScript (Just what we needed: yet another scripting language) Roku by Allan McInnes	raould	2015-12-15 21:01
Story	Compilers as Assistants TLA+ by Allan McInnes	bashyal	2015-12-04 15:35
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" better tools by Allan McInnes Value ranges need to be defined to be useful by Allan McInnes Yes, but by Allan McInnes Ariane 5 by Allan McInnes "commercial best practice" by Allan McInnes Ada? by Allan McInnes	Sean McDirmid	2015-11-24 16:45
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml Fair enough by Allan McInnes Lack of paper by Allan McInnes I spent a bit of time by Allan McInnes	Allan McInnes	2015-10-12 22:15
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
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