Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Algebra Of Pointers	38	2 years 2 weeks ago by Keean Schupke	20 weeks 3 days ago by Keean Schupke
	Project Loom: adding fibers and continuations to Java	11	34 weeks 9 hours ago by Rys McCusker	21 weeks 5 days ago by J Muhammad Houshyar
	Help with Herbelin	12	32 weeks 6 days ago by jimdesu	21 weeks 5 days ago by gasche
	Actual programs written in FP or FL?	11	12 years 24 weeks ago by James Hague	22 weeks 1 day ago by Stefan Cygon
	V-Parser	1	24 weeks 3 days ago by Ivan Vodišek	24 weeks 3 days ago by Ivan Vodišek
	A Functional Representation of Data Structures with a Hole (1998)	97	3 years 42 weeks ago by Vladimir Slepnev	24 weeks 4 days ago by skaller
	Non-determinism: a sublanguage rather than a monad	148	34 weeks 6 days ago by Greg Buchholz	29 weeks 4 days ago by Keean Schupke
	The Platonic Solids of Software Construction and Their Realization in C	48	36 weeks 19 hours ago by bryanedds	33 weeks 4 days ago by e
	A Framework for Gradual Memory Management	0	35 weeks 5 days ago by jondgoodwin	n/a
	Programming language Theme-D	0	35 weeks 5 days ago by tohoyn	n/a
	Type system based on epistemic modal logic?	4	40 weeks 6 days ago by Jon Purdy	36 weeks 1 day ago by Jon Purdy
	BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon	0	36 weeks 2 days ago by paulboca	n/a
	SK in Prolog	5	36 weeks 4 days ago by marco	36 weeks 3 days ago by Keean Schupke
	Reversing operations	16	6 years 10 weeks ago by Pablo Barenbaum	36 weeks 4 days ago by johnwcowan
	Advancement in TDFA and POSIX submatch extraction	0	38 weeks 3 days ago by Ulya Trofimovich	n/a
	Something I forgot	94	40 weeks 1 day ago by marco	38 weeks 4 days ago by Keean Schupke
	Language features for tracing JIT?	12	39 weeks 5 days ago by Luke Gorrie	39 weeks 1 day ago by HeikoWengler
	The question of the possibility of a simple formal foundation to the natural languages.	75	41 weeks 5 days ago by Enrique Perez Arnaud	40 weeks 9 hours ago by Enrique Perez Arnaud
	isomorƒ: an experimental structured editor for witing/deploying functional code	3	43 weeks 11 hours ago by Brian Kent	40 weeks 16 hours ago by Brian Kent
	New simple proof system	3	40 weeks 2 days ago by Edwin Zacharias	40 weeks 2 days ago by marco
	NOOL 2017	0	40 weeks 4 days ago by Roly Perera	n/a
	hobbes, Morgan Stanley OSS	22	44 weeks 2 days ago by Kalani	42 weeks 5 days ago by Z-Bo
	Question: do you have to climb the tower of interpreters?	5	43 weeks 1 hour ago by artemonster	42 weeks 6 days ago by artemonster
	What would be involved in moving logic beyond FOL?	107	48 weeks 5 days ago by Charles Stewart	44 weeks 4 days ago by Neil Madden
	Just entertainment: Click, click, click!	2	45 weeks 1 day ago by marco	44 weeks 5 days ago by marco
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