Lambda the Ultimate

type	title	author	last post
Forum topic	Type Theory Glossary Jargon traps by chrisoliver	naasking	2015-05-09 12:14
Forum topic	How can middle school algebra help with domain specific languages? in natural language we can say “and” to mean several things by chrisoliver	shahbaz	2015-01-21 17:18
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud Particular location and exception by chrisoliver Duality by chrisoliver duality by chrisoliver In other words... by chrisoliver	chrisoliver	2014-11-10 17:57
Forum topic	Experiment It was a metaphor by chrisoliver Human factors by chrisoliver In Apple's case... by chrisoliver	Ehud Lamm	2014-10-01 17:10
Story	Scala woes? Product types by chrisoliver	Ehud Lamm	2014-09-20 21:18
Forum topic	Higher abstraction through NLP and automatic code derivation? not bad by chrisoliver	Peter Samarin	2014-09-12 18:20
Forum topic	Is Rx FRP? I guess you're right, but by chrisoliver Are you sure? by chrisoliver So you're saying by chrisoliver	Sean McDirmid	2014-07-08 18:02
Forum topic	Removing User Interface Complexity, or Why React is Awesome Temporal Logic Questions by chrisoliver	Sean McDirmid	2014-05-23 15:12
Forum topic	Giant list of visual PLs Artificial languages by chrisoliver	Manuel J. Simoni	2014-05-02 16:09
Story	.NET Compiler Platform ("Roslyn") Immutable data can be shared implicitly by chrisoliver	Ehud Lamm	2014-04-22 23:53
Forum topic	Designscript	chrisoliver	2013-11-26 22:03
Story	Extensible Effects -- An Alternative to Monad Transformers A Proof Assistant Prototype Based on Algebraic Effects and Handl by chrisoliver	naasking	2013-08-01 13:03
Story	The Three Laws of Programming Language Design Type Class by chrisoliver Container metaphor by chrisoliver Beyond Beyond Monads by chrisoliver	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” You shall know a word by the company it keeps by chrisoliver	Ehud Lamm	2013-06-06 15:18
Forum topic	Osmosian that was a more english-y syntax by chrisoliver	raould	2013-05-22 00:07
Forum topic	The Economist: Language and Computers: Why language isn't computer code I don't know much about Iverson by chrisoliver No important theoretical difference by chrisoliver	kms	2012-08-11 20:37
Forum topic	Erik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming Subject/Observer is dual to Iterator by chrisoliver	Charles Torre	2012-04-04 15:50
Forum topic	New Dataflow Programming Language if it was because Sun was a mess... by chrisoliver	ad1mt	2010-11-30 01:24
Forum topic	F3: New statically typed scripting language for java Agree that bracketed by chrisoliver SuperGlue by chrisoliver F3 by chrisoliver	dough	2007-01-24 18:03
Forum topic	F3 - Functional GUI Development for Java You need programming for dynamic behavior by chrisoliver	rossjudson	2006-12-05 02:55
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