Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Is character as a type meaningless?	30	5 years 38 weeks ago by Mats	26 weeks 6 days ago by Bruce J. Bell
	Programming in Lambda Calculus	3	5 years 45 weeks ago by hbrandl	5 years 45 weeks ago by John Shutt
	Idris2 is self-hosting	1	5 years 51 weeks ago by Ohad Kammar	5 years 48 weeks ago by Charles Stewart
	modus_ponens, a library to develop inference engines.	0	5 years 51 weeks ago by Enrique Perez Arnaud	n/a
	Owl: A parser generator for visibly pushdown languages.	0	6 years 1 week ago by helltone	n/a
	Why is there no widely accepted progress for 50 years?	50	6 years 4 weeks ago by Milton Silva	4 years 48 weeks ago by Bakul Shah
	Functional Constructors in Theme-D	0	6 years 9 weeks ago by Tommi Höynälänmaa	n/a
	Deterministic Concurrency	4	6 years 9 weeks ago by Alex Berka	5 years 23 weeks ago by Alex Berka
	Various desired forms of reasonableness	1	6 years 16 weeks ago by raould	6 years 13 weeks ago by John Shutt
	Bjarne Stroustrup interview on Youtube.	0	6 years 26 weeks ago by Ray Dillinger	n/a
	Type Mapping in Source-To-Source Translation	4	6 years 29 weeks ago by thomash	5 years 25 weeks ago by AaronNGray
	Histogram: You have to know the past to understand the present by Tomas Petricek	1	6 years 34 weeks ago by spdegabrielle	6 years 33 weeks ago by Z-Bo
	Rope	8	6 years 40 weeks ago by jocob_knight	6 years 39 weeks ago by jocob_knight
	NDArray/multi-columnar with efficient CRUD operations?	0	6 years 40 weeks ago by mamcx	n/a
	Session Types for Purely Functional Process Networks	6	6 years 41 weeks ago by dmbarbour	6 years 40 weeks ago by dmbarbour
	The Way-Too-Early announce: Ecstasy	6	6 years 43 weeks ago by cpurdy	6 years 26 weeks ago by cpurdy
	CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems	0	6 years 44 weeks ago by eeide	n/a
	Applied Category Theory and Categorical Query Language	0	6 years 44 weeks ago by Ryan Wisnesky	n/a
	A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)	1	6 years 44 weeks ago by Enrique Perez Arnaud	6 years 40 weeks ago by Enrique Perez Arnaud
	A pretty printing algorithm	0	7 years 7 weeks ago by hbrandl	n/a
	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"	14	7 years 8 weeks ago by mamcx	6 years 48 weeks ago by shap
	Streaming Language Rewrite Processing (SLRP)	27	7 years 11 weeks ago by dmbarbour	6 years 39 weeks ago by dmbarbour
	Paper on ParaSail published in <Programming> journal V3.3; new release also available	0	7 years 13 weeks ago by sttaft	n/a
	Abstraction Tiers of Notations	132	7 years 15 weeks ago by const	5 years 6 weeks ago by const
	Looking for papers on covariance and contravariance	7	7 years 19 weeks ago by AaronNGray	7 years 13 weeks ago by sttaft
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