Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	On the (Im)possibility of Obfuscating Programs	44	17 years 8 weeks ago by Jason Dusek	17 years 7 weeks ago by Matt M
	How best to add a record type to my typed Scheme variant?	7	17 years 8 weeks ago by Sam Rushing	17 years 8 weeks ago by shap
	Introducing Dawn - yet another new language	37	17 years 11 weeks ago by Poul Krogh	17 years 8 weeks ago by Poul Krogh
	Tagged Arithmetic Optimization	29	17 years 8 weeks ago by naasking	17 years 8 weeks ago by dmbarbour
	Offline discussions	1	18 years 46 weeks ago by Ehud Lamm	17 years 8 weeks ago by Ehud Lamm
	Ruling out nonsensical data type definitions	34	17 years 9 weeks ago by Douglas McClean	17 years 8 weeks ago by Matt M
	Jane Street Summer Project '09	0	17 years 8 weeks ago by yminsky	n/a
	Cybernetics and AI	0	17 years 9 weeks ago by Hank Thediek	n/a
	I'm from china and I'm working on a new programming language "Zero"	11	17 years 9 weeks ago by guy_from_china	17 years 9 weeks ago by guy_from_china
	Graduate Programs in Programming Language Design/Research/Implementation?	11	17 years 10 weeks ago by shubhamharnal	17 years 9 weeks ago by shubhamharnal
	Explaining monads	174	21 years 38 weeks ago by Ehud Lamm	17 years 9 weeks ago by Philippa Cowderoy
	seeking article on representing cyclic graphs using purely functional data structures	2	17 years 9 weeks ago by const	17 years 9 weeks ago by const
	help with type theory	1	17 years 9 weeks ago by jdgallag	17 years 9 weeks ago by Alex Rubinsteyn
	Introducing Ambi	3	17 years 9 weeks ago by David Pratten	17 years 9 weeks ago by David Pratten
	Functional anti-memoization	15	20 years 32 weeks ago by Greg Buchholz	17 years 9 weeks ago by e
	Extensible Term Language 0.2.1	6	17 years 10 weeks ago by const	17 years 9 weeks ago by const
	Non-standard type theories for FP	61	17 years 18 weeks ago by marco	17 years 10 weeks ago by marco
	CWE/SANS TOP 25 Most Dangerous Programming Errors	7	17 years 11 weeks ago by Koray Can	17 years 10 weeks ago by raould
	Question concerning parameterization over literals	22	17 years 21 weeks ago by shap	17 years 10 weeks ago by Ben L. Titzer
	Parsing with error recovery?	3	17 years 10 weeks ago by lmeyerov	17 years 10 weeks ago by const
	Specifying semantics and type rules	7	17 years 10 weeks ago by shap	17 years 10 weeks ago by shap
	Macro systems	35	17 years 11 weeks ago by cdiggins	17 years 10 weeks ago by Matt Hellige
	Nested functions - how many nesting levels are really needed?	20	17 years 10 weeks ago by strog	17 years 10 weeks ago by Giovanni Deretta
	Lambda Calculus Notation	8	17 years 10 weeks ago by Peter Michaux	17 years 10 weeks ago by Matt Hellige
	Efficient Interpretation by Transforming Data Types and Patterns to Functions	1	17 years 10 weeks ago by Isaac Gouy	17 years 10 weeks ago by Kevin Millikin
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