Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	hobbes, Morgan Stanley OSS	10	4 days 8 hours ago by Kalani	1 hour 39 min ago by Kalani
	What would be involved in moving logic beyond FOL?	107	5 weeks 11 hours ago by Charles Stewart	6 days 9 hours ago by Neil Madden
	Just entertainment: Click, click, click!	2	1 week 2 days ago by marco	1 week 1 hour ago by marco
	/join the #proglangdesign channel on Freenode	0	1 week 1 day ago by Dustin DeWeese	n/a
	Affine Types - Introductory reading	26	1 year 18 weeks ago by filipallberg	1 week 3 days ago by skaller
	Is Datalog negation(¬) similar to the built-in predicate (≠)?	4	2 weeks 2 days ago by Milton Silva	2 weeks 1 day ago by marco
	Please submit to LIVE! 2017 (SPLASH Vancouver)	0	2 weeks 3 days ago by Sean McDirmid	n/a
	How to name the inverse functions of constructors	27	36 weeks 4 days ago by hbrandl	2 weeks 4 days ago by L Spice
	C runtime type info gimmick which supports scripting	1	4 weeks 3 hours ago by Rys McCusker	3 weeks 6 days ago by Rys McCusker
	Restructor: Full Program Automatic Refactoring	8	5 weeks 5 days ago by Wouter	4 weeks 6 days ago by gasche
	Abstractionless programming	19	13 years 4 weeks ago by Wouter	5 weeks 5 days ago by Wouter
	SK Calculus not Consider SeKsy?	29	10 years 33 weeks ago by cdiggins	5 weeks 5 days ago by Wouter
	Living it up with a Live Programming Language	36	10 years 17 weeks ago by Sean McDirmid	5 weeks 5 days ago by Wouter
	Free links to all (or practically all) recent SIGPLAN papers	2	6 weeks 5 days ago by emery	6 weeks 4 days ago by johnwcowan
	Refining Structured Type System	20	23 weeks 1 hour ago by Ivan Vodišek	7 weeks 2 days ago by Ivan Vodišek
	Finding Solutions vs. Verifying Solutions	39	9 weeks 2 days ago by Ivan Vodišek	7 weeks 3 days ago by Blaisorblade
	A refutation of Gödel's first incompleteness theorem	161	13 weeks 6 days ago by Enrique Perez Arnaud	8 weeks 6 hours ago by Enrique Perez Arnaud
	Any thoughts on WanaDecrypt0r?	9	9 weeks 4 days ago by marco	8 weeks 4 days ago by Blaisorblade
	SW verification continues	0	9 weeks 2 days ago by hbrandl	n/a
	Prove: 'Cont r a = (a -> r) -> r' forms a monad	47	10 weeks 3 hours ago by marco	9 weeks 2 days ago by marco
	the type of eval in Shen	0	9 weeks 3 days ago by Mark Tarver	n/a
	Practical Principled FRP: Forget the past, change the future, FRPNow!	63	2 years 3 weeks ago by Sean McDirmid	9 weeks 6 days ago by Keean Schupke
	Implementing typing rules -- how do I implement non-syntactic rules?	2	10 weeks 4 days ago by osa1	9 weeks 6 days ago by osa1
	Domain specific language for playing games	42	27 weeks 3 days ago by davidb	11 weeks 1 day ago by marco
	The Two Dualities of Computation: Negative and Fractional Types	11	3 years 8 weeks ago by Greg Buchholz	12 weeks 1 day ago by Ross Angle
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