Lambda the Ultimate

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

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