Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	The Two Dualities of Computation: Negative and Fractional Types	11	11 years 41 weeks ago by Greg Buchholz	8 years 45 weeks ago by Ross Angle
	Egel Language v0.1	0	8 years 45 weeks ago by marco	n/a
	Making a one-pass compiler by generating fexprs that generate code	4	8 years 47 weeks ago by Josh Scholar	8 years 46 weeks ago by Keean Schupke
	Compiler IDE API	16	8 years 47 weeks ago by Keean Schupke	8 years 47 weeks ago by Keean Schupke
	New PL forums: plforums.org	3	8 years 47 weeks ago by glebm	8 years 47 weeks ago by glebm
	Conversion of 'functional' to 'imperative' algorithms: is it possible?	20	20 years 33 weeks ago by Achilleas Margaritis	8 years 48 weeks ago by marco
	Logic Production Systems (LPS)	3	8 years 49 weeks ago by Neil Madden	8 years 49 weeks ago by Enrique Perez Arnaud
	notes on a C-ish memory manager design	23	9 years 1 week ago by Rys McCusker	8 years 49 weeks ago by dmbarbour
	Rust's language ergonomics initiative	4	9 years 3 days ago by gasche	8 years 51 weeks ago by Charles Stewart
	CFL parsing, and another way to look at the CNF...	51	9 years 2 weeks ago by Cyril	9 years 2 days ago by Cyril
	Controlling Reductions	8	9 years 1 week ago by skaller	9 years 4 days ago by Keean Schupke
	Process Network for Effects, Monad Alternative	32	9 years 12 weeks ago by dmbarbour	9 years 2 weeks ago by Keean Schupke
	How will look a modern imperative language? All love here is functional only..	85	9 years 5 weeks ago by mamcx	9 years 2 weeks ago by mtenright
	Céu: Structured Synchronous Reactive Programming (SSRP)	7	9 years 5 weeks ago by fsantanna	9 years 4 weeks ago by fsantanna
	Cool stuff from recent conferences	0	9 years 4 weeks ago by Ehud Lamm	n/a
	Inference of Polymorphic Recursion	16	9 years 6 weeks ago by Matt M	9 years 4 weeks ago by Cyril
	Archaeological dig to find the first Lisp example of the Y-combinator	1	9 years 5 weeks ago by filipallberg	9 years 5 weeks ago by John Shutt
	Generic overload resolution	14	9 years 7 weeks ago by Jon Purdy	9 years 6 weeks ago by Keean Schupke
	Unsoundness	36	9 years 8 weeks ago by skaller	9 years 6 weeks ago by skaller
	Defining recursive function as a monad (or other solutions)	29	9 years 12 weeks ago by Ivan V.	9 years 11 weeks ago by Ivan V.
	Eliminating left recursion	30	9 years 13 weeks ago by skaller	9 years 12 weeks ago by Ivan V.
	List of POPL 2017 papers with crowd-sourced preprint links	7	9 years 18 weeks ago by gasche	9 years 13 weeks ago by cyrus
	Any recent developments on "active libraries" that I'm missing?	2	9 years 14 weeks ago by osa1	9 years 13 weeks ago by cyrus
	Splitting witnesses up	2	9 years 14 weeks ago by Z-Bo	9 years 14 weeks ago by Z-Bo
	On the (Alleged) Value of Proof for Assurance	136	15 years 51 weeks ago by shap	9 years 15 weeks ago by NickP
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