Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	OOPSLA 2013 advance tech program up	7	12 years 40 weeks ago by Sean McDirmid	12 years 36 weeks ago by dmbarbour
	Scalable concurrency paper	0	12 years 36 weeks ago by raould	n/a
	SF-calculus	77	15 years 46 weeks ago by Barry Jay	12 years 36 weeks ago by naasking
	Theory of a Declarative Language	16	12 years 36 weeks ago by thomash	12 years 36 weeks ago by thomash
	Commutative Effects	44	12 years 40 weeks ago by Sean McDirmid	12 years 36 weeks ago by Sean McDirmid
	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis)	4	12 years 40 weeks ago by jurgenv	12 years 36 weeks ago by Sean McDirmid
	Synth Project Announcement	1	12 years 36 weeks ago by Ivan V.	12 years 36 weeks ago by Sean McDirmid
	Request for advice on a senior thesis	11	12 years 37 weeks ago by Taymon A Beal	12 years 37 weeks ago by Ehud Lamm
	lambda cube... 3D	47	12 years 39 weeks ago by raould	12 years 37 weeks ago by dmbarbour
	A Case for Gestures/Visualizations and Against Concrete Syntax	60	16 years 48 weeks ago by Thomas Lord	12 years 37 weeks ago by Jason Grossman
	Beyond FRP: physics-inspired programming abstractions?	46	17 years 41 weeks ago by Sean McDirmid	12 years 37 weeks ago by dmbarbour
	Error reporting strategies during parsing	24	12 years 42 weeks ago by Matt Fenwick	12 years 38 weeks ago by dmbarbour
	Global State Machines Inadequate (contra Dijkstra and Gurevich et. al.)	20	12 years 39 weeks ago by Hewitt	12 years 38 weeks ago by Z-Bo
	Future of Programs using Assertions, Goals, and Plans	104	12 years 40 weeks ago by Hewitt	12 years 39 weeks ago by dmbarbour
	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores	2	12 years 39 weeks ago by Sean McDirmid	12 years 39 weeks ago by Ross Angle
	The Power of Interoperability: Why Objects Are Inevitable	50	12 years 40 weeks ago by Sean McDirmid	12 years 39 weeks ago by dmbarbour
	Parallel Computing in the Julia Language	0	12 years 39 weeks ago by Greg Buchholz	n/a
	Metascala: A tiny JVM written in Scala	3	12 years 40 weeks ago by lihaoyi	12 years 39 weeks ago by Sean McDirmid
	The Future of Programming according to Bret Victor	41	12 years 40 weeks ago by Christian Lindig	12 years 40 weeks ago by Sean McDirmid
	Quote Safe unquote JVM language?	14	12 years 43 weeks ago by markt	12 years 40 weeks ago by lihaoyi
	Cryptography DSL.	3	12 years 44 weeks ago by Ray Dillinger	12 years 41 weeks ago by NickP
	Typographical extensions for programming languages: breaking out of the ASCII straitjacket	64	13 years 1 week ago by Sean McDirmid	12 years 41 weeks ago by Ray Dillinger
	An attempted approach to type inference with subtyping	2	12 years 41 weeks ago by Eli Sennesh	12 years 41 weeks ago by Eli Sennesh
	Pythonect 0.6.0 released	0	12 years 42 weeks ago by ikotler	n/a
	mobile web apps are slow -- and GC is to blame	44	12 years 43 weeks ago by Christian Lindig	12 years 42 weeks ago by Matt Hellige
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