Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	New tutorial blog on category theory for programmers	2	14 years 11 weeks ago by mikestay	14 years 10 weeks ago by Steven Shaw II
	Predicate calculus in program verification	0	14 years 10 weeks ago by hbrandl	n/a
	Career paths and concerns	23	18 years 9 weeks ago by Jonathan Schuster	14 years 11 weeks ago by Jonathan Schuster
	Disruptive PLT Revisited	82	14 years 12 weeks ago by Sean McDirmid	14 years 11 weeks ago by Jules Jacobs
	Learn python to implement a complicated static code analyzer	6	14 years 11 weeks ago by zell08v	14 years 11 weeks ago by Basile STARYNKEVITCH
	References about the importance of formalism in programming language design	91	14 years 14 weeks ago by giuseppemag	14 years 11 weeks ago by johnwcowan
	How to Generate (Hard) Real-Time Code from Declarative Programming Languages?	31	14 years 12 weeks ago by bryanedds	14 years 11 weeks ago by dmbarbour
	Coding at the Speed of Touch	45	15 years 8 weeks ago by Sean McDirmid	14 years 11 weeks ago by dmbarbour
	crazy PL idea: prescriptive trait inference	94	14 years 21 weeks ago by Sean McDirmid	14 years 11 weeks ago by Sean McDirmid
	Distributed capabilities versus network latency	11	14 years 13 weeks ago by Jules Jacobs	14 years 11 weeks ago by dmbarbour
	Brief Question on extension to ANF IR	1	14 years 11 weeks ago by scottmcl	14 years 11 weeks ago by scottmcl
	some Mozart 2 VM code	1	14 years 12 weeks ago by raould	14 years 12 weeks ago by gasche
	Long rant on Erlang-style Actors: Lost Dimension	153	14 years 16 weeks ago by const	14 years 12 weeks ago by const
	Parametric Grammars	6	14 years 14 weeks ago by skaller	14 years 12 weeks ago by Ondrej Bilka
	2012 APL Programming Contest is Open	0	14 years 13 weeks ago by Morten Kromberg	n/a
	Software Cartography and Code Navigation	3	14 years 13 weeks ago by Sean McDirmid	14 years 13 weeks ago by Sean McDirmid
	Filtering system calls with a packet filtering language	1	14 years 13 weeks ago by Manuel J. Simoni	14 years 13 weeks ago by lmeyerov
	What work in FRP models programs which can change the type of output and input they have?	2	14 years 13 weeks ago by Steven StewartGallus	14 years 13 weeks ago by S. Clover
	Research in Programming Languages	11	14 years 14 weeks ago by Sean McDirmid	14 years 14 weeks ago by Sean McDirmid
	Reasoning with inductive types	2	14 years 14 weeks ago by hbrandl	14 years 14 weeks ago by hbrandl
	Looking for DSLs for research project	1	14 years 14 weeks ago by Tim van Deurzen	14 years 14 weeks ago by Basile STARYNKEVITCH
	Artist-Programmers and Programming Languages for the Arts	0	14 years 14 weeks ago by yaxu	n/a
	Wittgenstein versus Turing on Inconsistency Robustness	30	14 years 50 weeks ago by Hewitt	14 years 14 weeks ago by Rys McCusker
	Bret Victor's Inventing on Priniciple	6	14 years 15 weeks ago by Sean McDirmid	14 years 14 weeks ago by Sean McDirmid
	Massive Numbers of Actors vs. Massive Numbers of Objects vs. ????	43	14 years 15 weeks ago by mfidelman	14 years 14 weeks ago by dmbarbour
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