Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Compilation/method resolution with structural subtyping	6	17 years 11 weeks ago by scottmcl	17 years 10 weeks ago by marco
	Call for Speakers: DSL DevCon	0	17 years 10 weeks ago by csells	n/a
	Weird computability problem relating to state + lambda calculus	5	17 years 11 weeks ago by ellisk	17 years 11 weeks ago by shap
	New Programming Language Idea	35	17 years 21 weeks ago by Lee Chou	17 years 11 weeks ago by frencheneesz
	Monads = lazy, effect types = strict?	8	17 years 12 weeks ago by dpmulligan	17 years 11 weeks ago by naasking
	Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions?	4	17 years 11 weeks ago by andhow	17 years 11 weeks ago by andhow
	Zune & Static Analysis	0	17 years 11 weeks ago by Ehud Lamm	n/a
	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)	55	17 years 15 weeks ago by scottmcl	17 years 12 weeks ago by Daira Hopwood
	Specifying Solver Behavior?	1	17 years 12 weeks ago by shap	17 years 12 weeks ago by Paul Snively
	Functional Programming jobs at Jane Street	0	17 years 12 weeks ago by yminsky	n/a
	Job board on LtU?	5	17 years 12 weeks ago by yminsky	17 years 12 weeks ago by yminsky
	Wadler, Findler: Well-typed programs can't be blamed	2	17 years 12 weeks ago by smitty1e	17 years 12 weeks ago by smitty1e
	[ANN] Final Call for Speakers for Code Generation 2009	0	17 years 12 weeks ago by Mark Dalgarno	n/a
	Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions	1	17 years 12 weeks ago by shahbaz	17 years 12 weeks ago by Paul Snively
	Reasonig about combinators (a lambda-calculus puzzle on composing compositions)	4	17 years 12 weeks ago by namin	17 years 12 weeks ago by namin
	JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework	4	17 years 12 weeks ago by namin	17 years 12 weeks ago by Ehud Lamm
	Saturday January 10th 2009, 2PM: FringeDC Programming Group Formal Meeting	0	17 years 12 weeks ago by drcode	n/a
	Are you using delimited continuations?	2	20 years 29 weeks ago by tmoertel	17 years 13 weeks ago by Leon P Smith
	Learning Pragmatics of Implementing a "Modern" Type Systems	12	17 years 14 weeks ago by scottmcl	17 years 13 weeks ago by raould
	Announcing Shapes, a functional drawing language	2	17 years 14 weeks ago by Henrik Tidefelt	17 years 13 weeks ago by Henrik Tidefelt
	A Variation of the Expression Problem and two Solutions in Scala	3	17 years 14 weeks ago by Bruno Oliveira	17 years 13 weeks ago by Bruno Oliveira
	Cilk++ for Linux now available for download	0	17 years 14 weeks ago by Ilya Mirman	n/a
	which program should I use? Visual Basic, C++ or Delphi	1	17 years 14 weeks ago by stratocasterfreak	17 years 14 weeks ago by Chris Rathman
	Io	22	18 years 12 weeks ago by Ehud Lamm	17 years 14 weeks ago by Phrogz
	Principles or patterns in FP	5	17 years 14 weeks ago by vijaykandy	17 years 14 weeks ago by vijaykandy
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