Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Crowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack Overflow	0	14 years 2 weeks ago by gasche	n/a
	Encoding System Fw in predicative dependent type theory	12	14 years 4 weeks ago by Matt M	14 years 3 weeks ago by Matt M
	Reducers - A Library and Model for Collection Processing	4	14 years 5 weeks ago by mehryar	14 years 3 weeks ago by Denis Bredelet -jido
	Feather: A Heapless Functional Programming Language	13	14 years 5 weeks ago by bryanedds	14 years 3 weeks ago by dataangel
	Predicates, ghost predicates and higher order predicates	0	14 years 4 weeks ago by hbrandl	n/a
	Higher order versus Object order	42	21 years 41 weeks ago by Francis McCabe	14 years 4 weeks ago by Matt M
	Why and How People Use R	69	14 years 8 weeks ago by Charles Torre	14 years 4 weeks ago by JeffB
	[ANN] Call for Speakers - FP Days 2012 - Cambridge, October 25-26th	0	14 years 4 weeks ago by Mark Dalgarno	n/a
	On the Naturalness of Software	13	14 years 5 weeks ago by Sean McDirmid	14 years 5 weeks ago by Sean McDirmid
	Examples of Lisp Code Typography	1	14 years 14 weeks ago by Manuel J. Simoni	14 years 5 weeks ago by Jeff Dalton
	Subtyping and dependent types	1	14 years 6 weeks ago by serras	14 years 6 weeks ago by gasche
	Pythonect 0.2.0 Release	0	14 years 6 weeks ago by ikotler	n/a
	Tuples, functions, ghost functions and higher order functions	0	14 years 6 weeks ago by hbrandl	n/a
	Evaluating the Design of the R Language	0	14 years 7 weeks ago by Sean McDirmid	n/a
	Inheritance and formal verification of software	0	14 years 7 weeks ago by hbrandl	n/a
	Frenetic	0	14 years 7 weeks ago by Tommy McGuire	n/a
	Certified Programming with Dependent Types: home stretch!	12	14 years 8 weeks ago by Adam Chlipala	14 years 7 weeks ago by neelk
	Specification and implementation of modules in Modern Eiffel	0	14 years 8 weeks ago by hbrandl	n/a
	Retrospective Thoughts on BitC	44	14 years 12 weeks ago by raould	14 years 8 weeks ago by Matt Hellige
	Symmetry in type systems	14	14 years 9 weeks ago by Jules Jacobs	14 years 8 weeks ago by Paul Snively
	Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning	7	14 years 10 weeks ago by Charles Torre	14 years 9 weeks ago by merkri
	The Monad.Reader	80	19 years 7 weeks ago by Wouter Swierstra	14 years 9 weeks ago by Victor Eijkhout
	Lang.NEXT 2012 - Session Videos Coming Online	8	14 years 15 weeks ago by Charles Torre	14 years 10 weeks ago by Charles Torre
	Erik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming	2	14 years 11 weeks ago by Charles Torre	14 years 10 weeks ago by chrisoliver
	Pythonect 0.1.0 Release	4	14 years 10 weeks ago by ikotler	14 years 10 weeks ago by ikotler
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