Lambda the Ultimate

type	title	author	last post
Forum topic	Living it up with a Live Programming Language Examples? by raould What works? by raould [ot] web / usability / rotations / graves by raould	Sean McDirmid	2017-06-10 16:27
Forum topic	On the (Alleged) Value of Proof for Assurance "does not mirror the structure of the program itself" by raould	shap	2016-11-24 01:04
Story	Pycket: A Tracing JIT For a Functional Language for great good by raould	gasche	2016-10-06 00:41
Story	Philip Wadler: Category Theory for the Working Hacker real world out of memory by raould all abstractions are leaky, some more so than others by raould copy the world on tick by raould i think yes by raould right on by raould monotonic data structures by raould see Shen by raould please, please do by raould	Ehud Lamm	2016-09-23 20:29
Forum topic	Term Rewrite System Implementations? wonderful PSA by raould maude? by raould	Ivan V.	2016-09-18 00:10
Story	Functional Pearl: Type-safe pattern combinators hallelujiah by raould	naasking	2016-09-16 18:18
Forum topic	Programming Languages as Mathematical Representations dogs playing chess by raould tongue in cheek by raould throughput vs. correctness by raould	mfidelman	2016-09-03 23:25
Forum topic	Whither FRP?	raould	2016-09-03 12:47
Forum topic	Is there a language with the ability to write arbitrary type functions? dogged by raould re: code by raould sequent calculus by raould sounds cool to me fwiw. by raould expand? by raould	davidb	2016-08-24 18:18
Story	PowerShell is open sourced and is available on Linux in this day and age by raould	Ehud Lamm	2016-08-21 21:31
Forum topic	Microscript erlang as irony? by raould	Ivan V.	2016-08-08 22:31
Forum topic	how to design PL support for effects emerging from parallel non-determinism? more is better by raould a line in the sand by raould do tell by raould	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly narrow gutter question by raould random project that has always warmed my heart by raould reference counting by raould whither? by raould	Ivan V.	2016-06-24 17:31
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code word by raould others by raould	naasking	2016-06-12 18:06
Forum topic	Programming with a Differentiable Forth Interpreter word by raould	Sean McDirmid	2016-06-06 19:46
Forum topic	Theory of syntax extensions: does it exist? Haxe macros by raould Whither semantics by raould	johnwcowan	2016-05-30 10:47
Forum topic	A2: Analog Malicious Hardware visual diff? by raould	marco	2016-05-28 09:36
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report what are the restrictions? by raould	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? funloft? by raould	Alex Shpilkin	2016-05-13 11:57
Forum topic	What is Intuitive? yay cmu by raould Re: The Truth is Inside by raould PLT needs a Bob Geldof by raould Re: Papers by raould	raould	2016-05-12 23:55
Forum topic	A Farewell to FRP in Elm no and yes and no by raould	Greg Buchholz	2016-05-11 15:35
Forum topic	PL's hotness challenge only if you want to by raould maslov by raould	Sean McDirmid	2016-05-10 06:04
Forum topic	Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus	raould	2016-05-06 05:29
Forum topic	Best successor to Scheme? cool by raould cool by raould ASGs by raould +1 by raould Trying to get back on track by raould rat holing by raould	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism on GitHub I guess by raould	raould	2016-04-24 16:35
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