Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Async/await vs coroutines?	8	20 weeks 4 days ago by Matthew OConnor	19 weeks 3 days ago by shap
	Exhaustiveness checks for algorithms that manipulate imperative data structures	4	21 weeks 1 day ago by Eduardo León	21 weeks 1 hour ago by Eduardo León
	Abstraction Tiers of Notations	131	1 year 51 weeks ago by const	23 weeks 23 hours ago by Mats
	Programming in Lambda Calculus	3	30 weeks 1 day ago by hbrandl	30 weeks 1 day ago by John Shutt
	Idris2 is self-hosting	1	35 weeks 5 days ago by Ohad Kammar	32 weeks 4 days ago by Charles Stewart
	modus_ponens, a library to develop inference engines.	0	35 weeks 5 days ago by Enrique Perez Arnaud	n/a
	Owl: A parser generator for visibly pushdown languages.	0	38 weeks 1 day ago by helltone	n/a
	IEEE Scheme expiring soon	90	4 years 42 weeks ago by johnwcowan	40 weeks 5 days ago by Tommi Höynälänmaa
	Functional Constructors in Theme-D	0	45 weeks 6 days ago by Tommi Höynälänmaa	n/a
	Various desired forms of reasonableness	1	1 year 1 week ago by raould	50 weeks 2 days ago by John Shutt
	Stepanov and McJones: Elements of Programming	4	11 years 24 weeks ago by Tom Duff	1 year 1 week ago by Ben Karel
	The Way-Too-Early announce: Ecstasy	6	1 year 28 weeks ago by cpurdy	1 year 10 weeks ago by cpurdy
	Bjarne Stroustrup interview on Youtube.	0	1 year 11 weeks ago by Ray Dillinger	n/a
	Advantages of pointfree?	36	11 years 45 weeks ago by John Nowak	1 year 14 weeks ago by dmbarbour
	Histogram: You have to know the past to understand the present by Tomas Petricek	1	1 year 18 weeks ago by spdegabrielle	1 year 17 weeks ago by Z-Bo
	Streaming Language Rewrite Processing (SLRP)	27	1 year 48 weeks ago by dmbarbour	1 year 23 weeks ago by dmbarbour
	Rope	8	1 year 25 weeks ago by jocob_knight	1 year 24 weeks 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 28 weeks ago by Enrique Perez Arnaud	1 year 24 weeks ago by Enrique Perez Arnaud
	Session Types for Purely Functional Process Networks	6	1 year 25 weeks ago by dmbarbour	1 year 25 weeks ago by dmbarbour
	NDArray/multi-columnar with efficient CRUD operations?	0	1 year 25 weeks ago by mamcx	n/a
	CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems	0	1 year 28 weeks ago by eeide	n/a
	Applied Category Theory and Categorical Query Language	0	1 year 28 weeks ago by Ryan Wisnesky	n/a
	ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning)	2	8 years 2 weeks ago by j4n bur53	1 year 29 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 44 weeks ago by mamcx	1 year 33 weeks ago by shap
	A pretty printing algorithm	0	1 year 44 weeks ago by hbrandl	n/a
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