Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Something I forgot	50	6 days 19 hours ago by marco	3 hours 17 min ago by Matt M
	Language features for tracing JIT?	12	4 days 8 hours ago by Luke Gorrie	7 hours 11 min ago by HeikoWengler
	Type system based on epistemic modal logic?	2	1 week 5 days ago by Jon Purdy	5 days 18 hours ago by Z-Bo
	The question of the possibility of a simple formal foundation to the natural languages.	75	2 weeks 4 days ago by Enrique Perez Arnaud	5 days 20 hours ago by Enrique Perez Arnaud
	isomorƒ: an experimental structured editor for witing/deploying functional code	3	3 weeks 5 days ago by Brian Kent	6 days 3 hours ago by Brian Kent
	New simple proof system	3	1 week 1 day ago by Edwin Zacharias	1 week 23 hours ago by marco
	NOOL 2017	0	1 week 3 days ago by Roly Perera	n/a
	hobbes, Morgan Stanley OSS	22	5 weeks 1 day ago by Kalani	3 weeks 4 days ago by Z-Bo
	Question: do you have to climb the tower of interpreters?	5	3 weeks 5 days ago by artemonster	3 weeks 5 days ago by artemonster
	What would be involved in moving logic beyond FOL?	107	9 weeks 4 days ago by Charles Stewart	5 weeks 3 days ago by Neil Madden
	Just entertainment: Click, click, click!	2	5 weeks 6 days ago by marco	5 weeks 3 days ago by marco
	/join the #proglangdesign channel on Freenode	0	5 weeks 5 days ago by Dustin DeWeese	n/a
	Affine Types - Introductory reading	26	1 year 22 weeks ago by filipallberg	6 weeks 19 hours ago by skaller
	Is Datalog negation(¬) similar to the built-in predicate (≠)?	4	6 weeks 6 days ago by Milton Silva	6 weeks 5 days ago by marco
	Please submit to LIVE! 2017 (SPLASH Vancouver)	0	7 weeks 3 hours ago by Sean McDirmid	n/a
	How to name the inverse functions of constructors	27	41 weeks 21 hours ago by hbrandl	7 weeks 21 hours ago by L Spice
	C runtime type info gimmick which supports scripting	1	8 weeks 4 days ago by Rys McCusker	8 weeks 2 days ago by Rys McCusker
	Restructor: Full Program Automatic Refactoring	8	10 weeks 2 days ago by Wouter	9 weeks 3 days ago by gasche
	Abstractionless programming	19	13 years 9 weeks ago by Wouter	10 weeks 2 days ago by Wouter
	SK Calculus not Consider SeKsy?	29	10 years 38 weeks ago by cdiggins	10 weeks 2 days ago by Wouter
	Living it up with a Live Programming Language	36	10 years 22 weeks ago by Sean McDirmid	10 weeks 2 days ago by Wouter
	Free links to all (or practically all) recent SIGPLAN papers	2	11 weeks 1 day ago by emery	11 weeks 1 day ago by johnwcowan
	Refining Structured Type System	20	27 weeks 3 days ago by Ivan Vodišek	11 weeks 6 days ago by Ivan Vodišek
	Finding Solutions vs. Verifying Solutions	39	13 weeks 6 days ago by Ivan Vodišek	12 weeks 3 hours ago by Blaisorblade
	A refutation of Gödel's first incompleteness theorem	161	18 weeks 3 days ago by Enrique Perez Arnaud	12 weeks 4 days ago by Enrique Perez Arnaud
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