Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Project Lamdu	9	10 years 16 weeks ago by Greg Buchholz	10 years 15 weeks ago by Sean McDirmid
	Proposal for a Friendly Dialect of C	4	11 years 36 weeks ago by Greg Buchholz	10 years 16 weeks ago by Greg Buchholz
	FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice	2	11 years 23 hours ago by Oleg	10 years 16 weeks ago by Oleg
	Best Traceroute!	5	10 years 19 weeks ago by marco	10 years 17 weeks ago by marco
	Bedrock case study, modular program verification	0	10 years 17 weeks ago by raould	n/a
	Typed Data	95	10 years 21 weeks ago by Andrew Moss	10 years 18 weeks ago by Keean Schupke
	Languages for SIMT Architectures	18	10 years 21 weeks ago by Keean Schupke	10 years 20 weeks ago by Matt M
	Nesting imperative into functional code	49	10 years 23 weeks ago by Ivan V.	10 years 20 weeks ago by marco
	SHErrLoc: Diagnosing Type Errors with Class	1	10 years 22 weeks ago by raould	10 years 20 weeks ago by andru
	BrightScript (Just what we needed: yet another scripting language)	3	10 years 21 weeks ago by raould	10 years 21 weeks ago by raould
	POPL 2016 Research program...	3	10 years 27 weeks ago by Sean McDirmid	10 years 21 weeks ago by Jules Jacobs
	Logical and Functional Programming in Each Other	14	10 years 24 weeks ago by Jack Waugh	10 years 22 weeks ago by dmbarbour
	The impact of syntax colouring on program comprehension	0	10 years 23 weeks ago by Jules Jacobs	n/a
	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?"	108	10 years 26 weeks ago by Sean McDirmid	10 years 24 weeks ago by Allan McInnes
	Hacker’s Brain – The Psychology of Programming	5	10 years 24 weeks ago by Sean McDirmid	10 years 24 weeks ago by Sean McDirmid
	Neural Programmer-Interpreters	0	10 years 24 weeks ago by Sean McDirmid	n/a
	Interesting experiment in peer-review	0	10 years 25 weeks ago by Andrew Moss	n/a
	Rumors in Complexity Theory	3	10 years 25 weeks ago by marco	10 years 25 weeks ago by marco
	How Useful is Erlang Hot-Swapping of Code?	27	10 years 27 weeks ago by marco	10 years 26 weeks ago by raould
	Google Open Sources Skynet	4	10 years 26 weeks ago by marco	10 years 26 weeks ago by marco
	1ML — Core and modules united	147	11 years 8 weeks ago by Tom Primožič	10 years 26 weeks ago by Keean Schupke
	Garbage Collection Based on a Linear Type System	8	10 years 28 weeks ago by raould	10 years 27 weeks ago by Keean Schupke
	MCG: A Visual Functional Programming Language	11	10 years 27 weeks ago by cdiggins	10 years 27 weeks ago by raould
	minor lexical tokenization idea via character synonyms	8	10 years 27 weeks ago by Rys McCusker	10 years 27 weeks ago by Rys McCusker
	inter-language PL theory patterns relevant to IPC?	31	10 years 28 weeks ago by Rys McCusker	10 years 27 weeks ago by Keean Schupke
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