Lambda the Ultimate

type	title	author	last post
Story	Happy Birthday, dear Lambda: 17 is good edition Don't cry for me, PL Research by Anton van Straaten	Ehud Lamm	2017-08-18 06:51
Story	ECMAScript Edition 4 Reference Implementation Appeal to the ref by Anton van Straaten The oppressor in the mirror by Anton van Straaten There is no try by Anton van Straaten	Dave Herman	2017-08-05 19:34
Forum topic	SK Calculus not Consider SeKsy? Welcome by Anton van Straaten Chris' Combinator Calculator by Anton van Straaten Names by Anton van Straaten	cdiggins	2017-06-10 16:33
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Simpler and clearer approach by Anton van Straaten You would need a witness by Anton van Straaten	Hewitt	2015-06-25 00:05
Forum topic	general patterns in PL persistence schemes? Self control by Anton van Straaten	Rys McCusker	2015-02-24 02:23
Forum topic	Job ads Guidance by Anton van Straaten	Kalani	2015-02-11 23:11
Forum topic	Concatenative Language Kont Don't stop reading yet... by Anton van Straaten This is not a title by Anton van Straaten reference sense pop by Anton van Straaten No special machinery required by Anton van Straaten Fun with folds by Anton van Straaten Slipping? by Anton van Straaten Stacks of responses by Anton van Straaten Substance, please by Anton van Straaten Fun with stacks by Anton van Straaten Static analysis by Anton van Straaten ...	Chris	2014-10-22 09:15
Story	LtU's new server UTF-8 migration complete by Anton van Straaten LtU recapitulates the history of Unicode by Anton van Straaten The gory details by Anton van Straaten	Anton van Straaten	2014-10-20 16:51
Forum topic	Experiment Loss prevention by Anton van Straaten	Ehud Lamm	2014-10-01 17:10
Forum topic	Programming by page faulting Debugging the null program by Anton van Straaten	Sean McDirmid	2014-09-09 00:11
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
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