Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Why is there no widely accepted progress for 50 years?	32	17 weeks 4 hours ago by Milton Silva	1 day 52 min ago by dmbarbour
	Programming in Lambda Calculus	3	5 weeks 6 days ago by hbrandl	5 weeks 5 days ago by John Shutt
	Idris2 is self-hosting	1	11 weeks 2 days ago by Ohad Kammar	8 weeks 1 day ago by Charles Stewart
	modus_ponens, a library to develop inference engines.	0	11 weeks 3 days ago by Enrique Perez Arnaud	n/a
	Owl: A parser generator for visibly pushdown languages.	0	13 weeks 5 days ago by helltone	n/a
	IEEE Scheme expiring soon	90	4 years 18 weeks ago by johnwcowan	16 weeks 2 days ago by Tommi Höynälänmaa
	Deterministic Concurrency	3	21 weeks 6 days ago by Alex Berka	16 weeks 6 days ago by Alex Berka
	Functional Constructors in Theme-D	0	21 weeks 4 days ago by Tommi Höynälänmaa	n/a
	Various desired forms of reasonableness	1	28 weeks 6 days ago by raould	25 weeks 6 days ago by John Shutt
	Stepanov and McJones: Elements of Programming	4	10 years 51 weeks ago by Tom Duff	29 weeks 1 day ago by Ben Karel
	The Way-Too-Early announce: Ecstasy	6	1 year 3 weeks ago by cpurdy	38 weeks 3 days ago by cpurdy
	Bjarne Stroustrup interview on Youtube.	0	38 weeks 5 days ago by Ray Dillinger	n/a
	Type Mapping in Source-To-Source Translation	3	41 weeks 2 days ago by thomash	40 weeks 2 days ago by thomash
	Advantages of pointfree?	36	11 years 21 weeks ago by John Nowak	42 weeks 5 hours ago by dmbarbour
	Histogram: You have to know the past to understand the present by Tomas Petricek	1	46 weeks 4 days ago by spdegabrielle	45 weeks 1 day ago by Z-Bo
	Streaming Language Rewrite Processing (SLRP)	27	1 year 23 weeks ago by dmbarbour	51 weeks 2 days ago by dmbarbour
	Rope	8	1 year 1 week ago by jocob_knight	52 weeks 21 hours ago by jocob_knight
	A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)	1	1 year 4 weeks ago by Enrique Perez Arnaud	1 year 1 day ago by Enrique Perez Arnaud
	Session Types for Purely Functional Process Networks	6	1 year 1 week ago by dmbarbour	1 year 5 days ago by dmbarbour
	NDArray/multi-columnar with efficient CRUD operations?	0	1 year 1 week ago by mamcx	n/a
	CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems	0	1 year 4 weeks ago by eeide	n/a
	Applied Category Theory and Categorical Query Language	0	1 year 4 weeks ago by Ryan Wisnesky	n/a
	ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning)	2	7 years 30 weeks ago by j4n bur53	1 year 4 weeks ago by j4n bur53
	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"	14	1 year 20 weeks ago by mamcx	1 year 8 weeks ago by shap
	A pretty printing algorithm	0	1 year 20 weeks ago by hbrandl	n/a
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