Lambda the Ultimate

type	title	author	last post
Story	Cost semantics for functional languages I've run into surprisingly by Anton van Straaten "Describe the destination without observing it" by Anton van Straaten	gasche	2014-08-21 22:00
Story	seL4: Formal Verification of an Operating-System Kernel Atanassowism has its benefits by Anton van Straaten Pres Kennedy on PL research by Anton van Straaten	James Iry	2014-07-29 07:19
Page	Departments	Anton van Straaten	2014-07-13 10:01
Forum topic	Math.js crashes my iPad Was it working previously? by Anton van Straaten	Sean McDirmid	2014-07-03 16:05
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Convincing example selection by Anton van Straaten Still not how it works by Anton van Straaten It's not Halloween yet by Anton van Straaten My point is not that by Anton van Straaten Wittgenstein's ladder is by Anton van Straaten Haskell just has great by Anton van Straaten Pick a side, we're at war by Anton van Straaten It's easy to complain about by Anton van Straaten Erik has some valid points, by Anton van Straaten	Charles Torre	2014-06-04 00:59
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal No debugger needed by Anton van Straaten Intractable by Anton van Straaten	bashyal	2014-05-30 20:21
Forum topic	LtU now supports Mathjax Reading about digamma, by Anton van Straaten Perhaps I should just add vau to MathJax by Anton van Straaten Sense and sensibility by Anton van Straaten Abandon lambda at your own risk by Anton van Straaten That reminds me by Anton van Straaten	Anton van Straaten	2014-05-05 14:47
Forum topic	Aha moment Direct-style heaven by Anton van Straaten A lesson that has not been by Anton van Straaten	Ehud Lamm	2014-04-29 06:07
Story	Deca, an LtU-friendly bare metal systems programming language About caring by Anton van Straaten In the story submission by Anton van Straaten ...or did virtual machines by Anton van Straaten	Anton van Straaten	2014-04-23 16:10
Forum topic	Diseases in Code Anti-patterns by Anton van Straaten	bryanedds	2014-04-23 15:23
Story	Study finds that when no financial interests are involved programmers choose DECENT languages Shrinking the ever receding pocket by Anton van Straaten Needs more time by Anton van Straaten I wasn't asking for proof, by Anton van Straaten 404 - Ghost in machine not found by Anton van Straaten Tricksy by Anton van Straaten Can types truly be moral? by Anton van Straaten	Ehud Lamm	2014-04-15 05:59
Forum topic	Brendan Eich, CEO of mozilla Ability to lead by Anton van Straaten	Sean McDirmid	2014-04-13 18:55
Forum topic	Leslie Lamport: Thinking for Programmers Lamport contradicts himself by Anton van Straaten	Charles Torre	2014-04-12 13:41
Story	Gilad Is Right Assumptions about proof by Anton van Straaten Optional types & annotations by Anton van Straaten Wrong goal by Anton van Straaten The compromise by Anton van Straaten Relevance, etc. by Anton van Straaten What is the sound of a type not being checked? by Anton van Straaten 100% certainty is 98% irrelevant by Anton van Straaten "Sound" type system? by Anton van Straaten Stubs as offerings by Anton van Straaten "Later" doesn't necessarily mean by Anton van Straaten ...	Erik Meijer	2014-03-23 13:38
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax What I mean by "arbitrary" by Anton van Straaten Barriers to entry and exit by Anton van Straaten Retconning by Anton van Straaten [admin] by Anton van Straaten	Thomas Lord	2013-08-25 05:05
Story	ILC2002 Proceedings and Videos Mirror by Anton van Straaten	Luke Gorrie	2013-08-08 08:11
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Objets sont mortes, vive les objets by Anton van Straaten Ought is fraught by Anton van Straaten Conflation considered... you know by Anton van Straaten Cutting room floor by Anton van Straaten Or their equivalent by Anton van Straaten	Sean McDirmid	2013-08-07 23:59
Forum topic	Cost of provably-correct code Proving the universe correct by Anton van Straaten	Ehud Lamm	2013-07-06 19:56
Story	Who's online Fine with me by Anton van Straaten	Ehud Lamm	2013-04-02 09:09
Story	LtU is migrating from Drupal Finally by Anton van Straaten	Ehud Lamm	2013-04-02 07:38
Forum topic	indentation yet again? Upgrade may not be enough by Anton van Straaten What problem are you seeing? by Anton van Straaten	raould	2013-02-05 16:10
Forum topic	Learnable Programming John McCarthy called this by Anton van Straaten	dmbarbour	2012-11-29 21:57
Forum topic	How to respect language styles while translating? Schlep, JMacro by Anton van Straaten	raould	2012-07-24 18:15
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education The map is not the... by Anton van Straaten Agreed by Anton van Straaten That weird clash is providing by Anton van Straaten An object is quite simply a by Anton van Straaten The notion of an object is by Anton van Straaten Human thinking is a function of human learning by Anton van Straaten	vrijz	2012-06-30 00:11
Story	Decomposing lambda - the Kernel language	Anton van Straaten	2012-04-30 15:31
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