Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	NOOL 2017	0	8 years 30 weeks ago by Roly Perera	n/a
	hobbes, Morgan Stanley OSS	22	8 years 33 weeks ago by Kalani	8 years 32 weeks ago by Z-Bo
	Question: do you have to climb the tower of interpreters?	5	8 years 32 weeks ago by artemonster	8 years 32 weeks ago by artemonster
	What would be involved in moving logic beyond FOL?	107	8 years 38 weeks ago by Charles Stewart	8 years 34 weeks ago by Neil Madden
	Just entertainment: Click, click, click!	2	8 years 34 weeks ago by marco	8 years 34 weeks ago by marco
	/join the #proglangdesign channel on Freenode	0	8 years 34 weeks ago by Dustin DeWeese	n/a
	Affine Types - Introductory reading	26	9 years 51 weeks ago by filipallberg	8 years 34 weeks ago by skaller
	Is Datalog negation(¬) similar to the built-in predicate (≠)?	4	8 years 35 weeks ago by Milton Silva	8 years 35 weeks ago by marco
	Please submit to LIVE! 2017 (SPLASH Vancouver)	0	8 years 35 weeks ago by Sean McDirmid	n/a
	How to name the inverse functions of constructors	27	9 years 17 weeks ago by hbrandl	8 years 35 weeks ago by L Spice
	C runtime type info gimmick which supports scripting	1	8 years 37 weeks ago by Rys McCusker	8 years 36 weeks ago by Rys McCusker
	Restructor: Full Program Automatic Refactoring	8	8 years 38 weeks ago by Wouter	8 years 37 weeks ago by gasche
	Abstractionless programming	19	21 years 37 weeks ago by Wouter	8 years 38 weeks ago by Wouter
	SK Calculus not Consider SeKsy?	29	19 years 14 weeks ago by cdiggins	8 years 38 weeks ago by Wouter
	Living it up with a Live Programming Language	36	18 years 50 weeks ago by Sean McDirmid	8 years 38 weeks ago by Wouter
	Free links to all (or practically all) recent SIGPLAN papers	2	8 years 39 weeks ago by emery	8 years 39 weeks ago by johnwcowan
	Finding Solutions vs. Verifying Solutions	39	8 years 42 weeks ago by Ivan V.	8 years 40 weeks ago by Blaisorblade
	A refutation of Gödel's first incompleteness theorem	161	8 years 46 weeks ago by Enrique Perez Arnaud	8 years 41 weeks ago by Enrique Perez Arnaud
	Any thoughts on WanaDecrypt0r?	9	8 years 42 weeks ago by marco	8 years 41 weeks ago by Blaisorblade
	SW verification continues	0	8 years 42 weeks ago by hbrandl	n/a
	Prove: 'Cont r a = (a -> r) -> r' forms a monad	47	8 years 43 weeks ago by marco	8 years 42 weeks ago by marco
	the type of eval in Shen	0	8 years 42 weeks ago by Mark Tarver	n/a
	Practical Principled FRP: Forget the past, change the future, FRPNow!	63	10 years 36 weeks ago by Sean McDirmid	8 years 42 weeks ago by Keean Schupke
	Implementing typing rules -- how do I implement non-syntactic rules?	2	8 years 43 weeks ago by osa1	8 years 43 weeks ago by osa1
	Domain specific language for playing games	42	9 years 8 weeks ago by davidb	8 years 44 weeks 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