Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	What would be involved in moving logic beyond FOL?	57	1 week 3 days ago by Charles Stewart	3 hours 45 min ago by AntC
	C runtime type info gimmick which supports scripting	1	3 days 13 hours ago by Rys McCusker	2 days 11 hours ago by Rys McCusker
	Restructor: Full Program Automatic Refactoring	8	2 weeks 1 day ago by Wouter	1 week 2 days ago by gasche
	Abstractionless programming	19	13 years 1 week ago by Wouter	2 weeks 1 day ago by Wouter
	SK Calculus not Consider SeKsy?	29	10 years 30 weeks ago by cdiggins	2 weeks 1 day ago by Wouter
	Living it up with a Live Programming Language	36	10 years 13 weeks ago by Sean McDirmid	2 weeks 1 day ago by Wouter
	Free links to all (or practically all) recent SIGPLAN papers	2	3 weeks 1 day ago by emery	3 weeks 1 day ago by johnwcowan
	Refining Structured Type System	20	19 weeks 3 days ago by Ivan Vodišek	3 weeks 5 days ago by Ivan Vodišek
	Finding Solutions vs. Verifying Solutions	39	5 weeks 5 days ago by Ivan Vodišek	3 weeks 6 days ago by Blaisorblade
	A refutation of Gödel's first incompleteness theorem	161	10 weeks 2 days ago by Enrique Perez Arnaud	4 weeks 3 days ago by Enrique Perez Arnaud
	Any thoughts on WanaDecrypt0r?	9	6 weeks 11 hours ago by marco	5 weeks 13 hours ago by Blaisorblade
	SW verification continues	0	5 weeks 5 days ago by hbrandl	n/a
	Prove: 'Cont r a = (a -> r) -> r' forms a monad	47	6 weeks 3 days ago by marco	5 weeks 6 days ago by marco
	the type of eval in Shen	0	5 weeks 6 days ago by Mark Tarver	n/a
	Practical Principled FRP: Forget the past, change the future, FRPNow!	63	1 year 51 weeks ago by Sean McDirmid	6 weeks 2 days ago by Keean Schupke
	Implementing typing rules -- how do I implement non-syntactic rules?	2	7 weeks 1 day ago by osa1	6 weeks 3 days ago by osa1
	Domain specific language for playing games	42	23 weeks 6 days ago by davidb	7 weeks 4 days ago by marco
	The Two Dualities of Computation: Negative and Fractional Types	11	3 years 5 weeks ago by Greg Buchholz	8 weeks 4 days ago by Ross Angle
	Egel Language v0.1	0	9 weeks 1 day ago by marco	n/a
	Making a one-pass compiler by generating fexprs that generate code	4	10 weeks 3 days ago by Josh Scholar	10 weeks 2 days ago by Keean Schupke
	Compiler IDE API	16	10 weeks 6 days ago by Keean Schupke	10 weeks 3 days ago by Keean Schupke
	New PL forums: plforums.org	3	10 weeks 5 days ago by glebm	10 weeks 4 days ago by glebm
	Conversion of 'functional' to 'imperative' algorithms: is it possible?	20	11 years 49 weeks ago by Achilleas Margaritis	12 weeks 2 days ago by marco
	Logic Production Systems (LPS)	3	13 weeks 2 days ago by Neil Madden	12 weeks 6 days ago by Enrique Perez Arnaud
	notes on a C-ish memory manager design	23	17 weeks 2 days ago by Rys McCusker	12 weeks 6 days ago by dmbarbour
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