Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Print release of a textbook on the Coq proof assistant	5	12 years 21 weeks ago by Adam Chlipala	12 years 16 weeks ago by marco
	Different approaches to letting a programmer define interface implementations.	224	12 years 19 weeks ago by Kannan Goundan	12 years 16 weeks ago by dmbarbour
	Pragmatic aspects of dimension types, and the problem of angles	31	12 years 17 weeks ago by Douglas McClean	12 years 16 weeks ago by Douglas McClean
	ACPUL - Another CPU Language - a{};	1	12 years 17 weeks ago by d08ble	12 years 17 weeks ago by Sean McDirmid
	a little language for platform games	10	12 years 21 weeks ago by Mike Robinson	12 years 18 weeks ago by markt
	Interfaces vs. Type Classes	7	12 years 18 weeks ago by shap	12 years 18 weeks ago by Ross Angle
	Inconsistency Robustness in Logic Programs	47	12 years 23 weeks ago by Hewitt	12 years 18 weeks ago by Ross Angle
	MemorySharp - Managed library for memory editing, and Fasm.NET - Managed wrapper to use the FASM compiler from .NET applications	1	12 years 18 weeks ago by Cyril	12 years 18 weeks ago by Cyril
	Alternative implementation of closures in C	5	12 years 19 weeks ago by andrew johnson	12 years 19 weeks ago by andrew johnson
	A usage poll for the Coq proof assistant	0	12 years 19 weeks ago by gasche	n/a
	John Shutt on "Abstractive Power"	8	12 years 20 weeks ago by gasche	12 years 19 weeks ago by skaller
	Computation is not subsumed by deduction (contra claim by Kowalski)	6	12 years 22 weeks ago by Hewitt	12 years 20 weeks ago by Hewitt
	Its type checking, Jim, but not as we know it.	34	12 years 21 weeks ago by Sean McDirmid	12 years 20 weeks ago by Sean McDirmid
	Practical rules for controlling program effects in an imperative / OOP environment.	27	12 years 22 weeks ago by bryanedds	12 years 22 weeks ago by bryanedds
	A simple interchange format for syntax trees of any language	15	12 years 26 weeks ago by David Piepgrass	12 years 22 weeks ago by Ivan V.
	"Fog Cutter" model illustrates Actor Model issues	4	12 years 22 weeks ago by Hewitt	12 years 22 weeks ago by Hewitt
	Default, implicit, inherited	5	12 years 23 weeks ago by Aivar Annamaa	12 years 23 weeks ago by Ross Angle
	Designscript	2	12 years 24 weeks ago by chrisoliver	12 years 23 weeks ago by munificent
	Strong Mathematical Foundations for Computer Science	117	12 years 25 weeks ago by Hewitt	12 years 24 weeks ago by j4n bur53
	Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.	0	12 years 24 weeks ago by Alan Schmitt	n/a
	R7RS-small draft ratified by Steering Committee	1	12 years 24 weeks ago by vieiro	12 years 24 weeks ago by johnwcowan
	Incremental parser based on invariant syntax fragments	0	12 years 25 weeks ago by eliah.lakhin	n/a
	XQuery transition to functional programming language complete ?	0	12 years 25 weeks ago by xquery	n/a
	actors conflate too much	37	12 years 29 weeks ago by raould	12 years 25 weeks ago by Hewitt
	javascript shift-reduce parser	8	12 years 42 weeks ago by Ivan V.	12 years 25 weeks ago by Ivan V.
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