Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Upward and downward polymorphism in object oriented languages.	10	5 years 15 weeks ago by Ray Dillinger	5 years 15 weeks ago by John Shutt
	Type Mapping in Source-To-Source Translation	4	6 years 19 weeks ago by thomash	5 years 15 weeks ago by AaronNGray
	Specialized File/Disk Systems for Actor Environments	4	5 years 23 weeks ago by mfidelman	5 years 15 weeks ago by mfidelman
	What is a type?	9	5 years 24 weeks ago by Mats	5 years 18 weeks ago by Mats
	Tackling the Awkward Squad for Reactive Programming	1	5 years 24 weeks ago by raould	5 years 23 weeks ago by dmbarbour
	Limits of Computability	0	5 years 23 weeks ago by hbrandl	n/a
	Use Cases for Shared-Memory Concurrency?	15	5 years 25 weeks ago by shap	5 years 24 weeks ago by cpurdy
	Godel and Meta-Circularity	2	5 years 25 weeks ago by Matt M	5 years 24 weeks ago by jpt4
	BNFT (Backus Naur Form Transformation) tool released	5	16 years 25 weeks ago by Poul Krogh	5 years 25 weeks ago by Poul Krogh
	Async/await vs coroutines?	8	5 years 26 weeks ago by Matthew OConnor	5 years 25 weeks ago by shap
	Exhaustiveness checks for algorithms that manipulate imperative data structures	4	5 years 27 weeks ago by Eduardo León	5 years 27 weeks ago by Eduardo León
	Programming in Lambda Calculus	3	5 years 36 weeks ago by hbrandl	5 years 36 weeks ago by John Shutt
	Idris2 is self-hosting	1	5 years 41 weeks ago by Ohad Kammar	5 years 38 weeks ago by Charles Stewart
	modus_ponens, a library to develop inference engines.	0	5 years 41 weeks ago by Enrique Perez Arnaud	n/a
	Owl: A parser generator for visibly pushdown languages.	0	5 years 44 weeks ago by helltone	n/a
	IEEE Scheme expiring soon	90	9 years 48 weeks ago by johnwcowan	5 years 46 weeks ago by Tommi Höynälänmaa
	Functional Constructors in Theme-D	0	5 years 52 weeks ago by Tommi Höynälänmaa	n/a
	Various desired forms of reasonableness	1	6 years 7 weeks ago by raould	6 years 4 weeks ago by John Shutt
	Stepanov and McJones: Elements of Programming	4	16 years 30 weeks ago by Tom Duff	6 years 7 weeks ago by Ben Karel
	The Way-Too-Early announce: Ecstasy	6	6 years 34 weeks ago by cpurdy	6 years 16 weeks ago by cpurdy
	Bjarne Stroustrup interview on Youtube.	0	6 years 17 weeks ago by Ray Dillinger	n/a
	Histogram: You have to know the past to understand the present by Tomas Petricek	1	6 years 25 weeks ago by spdegabrielle	6 years 23 weeks ago by Z-Bo
	Streaming Language Rewrite Processing (SLRP)	27	7 years 2 weeks ago by dmbarbour	6 years 29 weeks ago by dmbarbour
	Rope	8	6 years 31 weeks ago by jocob_knight	6 years 30 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	6 years 35 weeks ago by Enrique Perez Arnaud	6 years 30 weeks ago by Enrique Perez Arnaud
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