Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	SPLASH'16 Amsterdam CFP: early registration ends Sept 30	0	1 day 17 hours ago by craiganslow	n/a
	Bottom Types	13	6 days 21 hours ago by Keean Schupke	3 days 7 hours ago by Keean Schupke
	Indispensible use cases for record subtyping?	36	1 week 1 day ago by naasking	4 days 17 hours ago by dmbarbour
	Certificates/proof of work of type checking?	15	1 week 6 days ago by naasking	1 week 1 day ago by Keean Schupke
	ZenScript, A new open-source language project.	5	1 week 2 days ago by Keean Schupke	1 week 1 day ago by Keean Schupke
	Feedback requested: A sample implementation of L-systems in Haskell	5	26 weeks 5 days ago by filipallberg	1 week 3 days ago by filipallberg
	Term Rewrite System Implementations?	38	2 weeks 5 days ago by Ivan Vodišek	1 week 5 days ago by marco
	Looking for references on the expressiveness and computational completeness of a relational programming language	21	6 weeks 3 hours ago by davidb	3 weeks 1 day ago by Keean Schupke
	Lecturing birds how to fly	8	4 weeks 1 day ago by Charles Stewart	3 weeks 1 day ago by John Shutt
	NOOL 2016	0	3 weeks 2 days ago by Roly Perera	n/a
	Programming Languages as Mathematical Representations	23	5 weeks 18 hours ago by mfidelman	3 weeks 5 days ago by John Shutt
	Whither FRP?	11	5 weeks 2 days ago by raould	3 weeks 6 days ago by bashyal
	Viability of a static type system (like ML) for a relational language?	29	15 weeks 6 days ago by mamcx	4 weeks 3 days ago by AntC
	language handling of memory and other resource failures	15	5 weeks 2 days ago by Rys McCusker	4 weeks 5 days ago by Keean Schupke
	Is there a language with the ability to write arbitrary type functions?	36	13 weeks 5 days ago by davidb	5 weeks 1 day ago by Keean Schupke
	Microscript	58	17 weeks 4 days ago by Ivan Vodišek	7 weeks 3 days ago by Ivan Vodišek
	A language for blind uncomprehending idiots who have no idea how programs work.	24	10 weeks 6 days ago by Ray Dillinger	7 weeks 4 days ago by John Shutt
	Is there an existing name for my higher-order function?	15	8 weeks 2 days ago by shawnbrown	7 weeks 5 days ago by John Shutt
	Branch Forward Only	6	11 weeks 19 hours ago by Greg Buchholz	8 weeks 6 days ago by e
	Alice, Bob, and Penthesilea: mutually suspicious code and data owners	8	13 weeks 1 day ago by johnwcowan	9 weeks 41 min ago by Dave
	how to design PL support for effects emerging from parallel non-determinism?	81	13 weeks 6 days ago by Rys McCusker	10 weeks 6 days ago by raould
	7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers	0	13 weeks 2 days ago by craiganslow	n/a
	WebAssembly	77	16 weeks 6 days ago by Ivan Vodišek	13 weeks 6 days ago by raould
	PHOG: Probabilistic Model for Code	0	14 weeks 2 days ago by Sean McDirmid	n/a
	Recursive types	40	15 weeks 6 days ago by skaller	15 weeks 9 hours ago by marco
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