Lambda the Ultimate

type	title	author	last post
Story	Static vs. Dynamic Languages: A Literature Review hardly binary by raould I failed the uroborous test by raould Please to get the chocolate cohabitating with the peanut butter by raould re: suitability for solving unknown problems by raould	naasking	2016-01-11 06:22
Forum topic	Bedrock case study, modular program verification	raould	2016-01-07 01:47
Forum topic	SHErrLoc: Diagnosing Type Errors with Class	raould	2015-12-21 18:56
Forum topic	BrightScript (Just what we needed: yet another scripting language) closed by raould	raould	2015-12-15 21:01
Story	Compilers as Assistants art vs. science by raould standard complaint against Ocaml et. al. by raould +1 by raould or... by raould drinks & whiteboards by raould Those who don't feel the beration by raould UX is subjective by raould +1 by raould	bashyal	2015-12-04 15:35
Forum topic	Logical and Functional Programming in Each Other more than the sum of the parts by raould	Jack Waugh	2015-12-02 19:01
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" hand verification all the way down by raould yes by raould yup by raould is there no nuance there? by raould re: C++ is still the only option by raould there is no panacea, but it goes better for me with types anyway by raould manually managed resources are necessary by raould Freeze dried Gibson head for sale! by raould wanted: animatronic disembodied slapping hand by raould i should make snake oil money by raould	Sean McDirmid	2015-11-24 16:45
Story	When Is A Functional Program Not A Functional Program? whither function bodies by raould might be starting to clue in, i can hope... by raould Many thanks for the note by raould Neophyte question about "functional" by raould	neelk	2015-11-20 21:56
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega This is why I heart LtU by raould	naasking	2015-11-18 18:04
Forum topic	How Useful is Erlang Hot-Swapping of Code? alternate realities by raould	marco	2015-11-10 18:57
Forum topic	1ML — Core and modules united why not unify the two? by raould dislike by raould testify! by raould Nice! by raould	Tom Primožič	2015-11-09 21:29
Forum topic	Garbage Collection Based on a Linear Type System Is that akin to Erlang? by raould Witch's Brew by raould the let down by raould	raould	2015-11-03 06:48
Forum topic	MCG: A Visual Functional Programming Language CMU Genie Pascal et. al. by raould	cdiggins	2015-11-02 19:34
Forum topic	inter-language PL theory patterns relevant to IPC? big old fan of AREXX here by raould conciser version? by raould	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX i am your fan by raould i apologize for still not getting the point across by raould if you don't understand art, stay out of the auction house by raould therein lies a rub by raould but but by raould do tell by raould fail over by raould big scale is a big b*tch by raould i lied by raould or by raould ...	Sean McDirmid	2015-10-26 18:24
Forum topic	Socializing in the Real World?	raould	2015-10-22 01:01
Forum topic	server life expectancy?	raould	2015-10-21 18:02
Story	Dependent Types for Low-Level Programming as seen by raould	naasking	2015-10-16 07:59
Forum topic	alternate basic models of framing code behavior and purpose? does Nile count? by raould bounded orderly methods by raould out of band communciation by raould apropos by raould yes! by raould thank you for this topic by raould makes me think of soa by raould it is a poor craftsman who blames their tools by raould	Rys McCusker	2015-10-15 04:27
Forum topic	Optimal efficiency research on modeling & predicting? by raould please expand by raould	Keean Schupke	2015-10-12 06:19
Story	Tangible Functional Programming ditto frustration by raould video still exists by raould	James Hague	2015-10-09 23:28
Forum topic	Joining Forces: LVars & CvRDTs	raould	2015-10-03 15:57
Forum topic	Live programming in APX, an early peek +1 by raould mother by raould re: (1) by raould cool by raould wow by raould	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Re: Thoughts? by raould	Ray Dillinger	2015-09-29 15:36
Forum topic	Implementing "Elements of Programming" in Actor Script quoth by raould Re: associated type by raould	Keean Schupke	2015-09-24 08:07
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