Lambda the Ultimate

type	title	author	last post
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
Forum topic	F* (FStar) reworked and released as v0.9.0	raould	2015-09-11 06:34
Forum topic	Moderation on LtU different things by raould Sincere question to everybody else? by raould 'censorship' by raould	gasche	2015-09-05 11:34
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Maybe not Enough by raould call me clueless / seeking understanding by raould	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question cool, nice paper by raould	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions so was mine by raould clojure by raould yeah by raould	Ehud Lamm	2015-08-27 03:57
Forum topic	verified ML	raould	2015-08-27 00:17
Forum topic	Unstructured casting considered harmful to security Please learn how to communicate by raould	Hewitt	2015-08-25 14:11
Forum topic	Eric Lippert's Sharp Regrets re: multi-language VM by raould re: cheating by raould	Wolf Logan	2015-08-24 11:10
Story	STABILIZER : Statistically Sound Performance Evaluation exciting to me as a "dev in the street" by raould	gasche	2015-08-19 14:43
Forum topic	Are Actors a Good Model for Computation. word by raould c vs. as by raould "Rarely, if ever..." by raould	Keean Schupke	2015-08-19 02:04
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