Lambda the Ultimate

type	title	author	last post
Forum topic	Challenges Facing a High-Level Language for Machine Knitting Therefore, it would seem by naasking	marco	2016-02-03 22:07
Forum topic	Need to Talk Standardization of XML or by naasking Data doesn't endure past the by naasking Why separate code and data by naasking	marco	2016-02-02 05:56
Story	Progress on Gradual Typing Is schema change really all by naasking	gasche	2016-01-28 15:13
Forum topic	Proposal for a Friendly Dialect of C Follow-up by naasking	Greg Buchholz	2016-01-15 17:08
Story	Static vs. Dynamic Languages: A Literature Review I agree system 2 is taxing, by naasking That all seems fairly by naasking It seems to me this whole by naasking If your clients are coming by naasking Software as written today by naasking My understanding of "satisfy by naasking Then what is [the best way by naasking Much of science consists of confirming certain intuitions by naasking "Black or white" in the by naasking It's not exceptional though by naasking ...	naasking	2016-01-11 06:22
Forum topic	Typed Data But at this point there is by naasking	Andrew Moss	2015-12-31 08:59
Story	Programming with Algebraic Effects and Handlers Comparison to Extensible Interpreters? by naasking So, the yield that is as by naasking You don't need delimited by naasking	Matt Hellige	2015-12-04 03:11
Forum topic	Logical and Functional Programming in Each Other There's MicroKanren and by naasking	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?" I think it is pretty obvious by naasking It's something some Rust by naasking If you misapply anything by naasking Going back to Andrei's post, by naasking The more sophisticated the by naasking Ada could have a nice core by naasking	Sean McDirmid	2015-11-24 16:45
Forum topic	Hacker’s Brain – The Psychology of Programming That programming is more by naasking	Sean McDirmid	2015-11-23 03:27
Story	Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega That seems odd considering by naasking	naasking	2015-11-18 18:04
Forum topic	1ML — Core and modules united Is there a well-known, by naasking To be clear, it natively by naasking	Tom Primožič	2015-11-09 21:29
Forum topic	inter-language PL theory patterns relevant to IPC? I suspect Andrew is talking by naasking Do you any particular by naasking This year I am finishing by naasking	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX Sounds like "event sourcing" by naasking The Ken family of protocols by naasking [...] you still have to by naasking Any side-effecting operation by naasking I'm not sure I agree on by naasking Continuations whose by naasking On the other hand look at by naasking This sounds like a very sane by naasking	Sean McDirmid	2015-10-26 18:24
Forum topic	Halide: a language for image processing and computational photography This should probably be on by naasking	Thomas Lord	2015-10-20 22:35
Story	Dependent Types for Low-Level Programming	naasking	2015-10-16 07:59
Story	GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Interesting that the by naasking	naasking	2015-10-14 15:30
Story	Optimizing Closures in O(0) time	naasking	2015-10-04 17:46
Forum topic	Joining Forces: LVars & CvRDTs Lindsey's dissertation: by naasking	raould	2015-10-03 15:57
Forum topic	Live programming in APX, an early peek Types: I don't think you can by naasking	Sean McDirmid	2015-09-30 15:45
Forum topic	Subclass, superclass, or siblings under an abstract superclass? The vtable beats "if" and by naasking Do you have an example? by naasking	Ray Dillinger	2015-09-29 15:36
Story	Freer Monads, More Extensible Effects	naasking	2015-09-14 03:17
Forum topic	word2vec Neural Networks, Types, and Functional Programming by naasking	Sean McDirmid	2015-09-05 18:26
Forum topic	Moderation on LtU I scarcely think you will by naasking I don't know why gasche uses by naasking I have yet to encounter by naasking	gasche	2015-09-05 11:34
Forum topic	Another "big" question I don't think the expressive by naasking	Ehud Lamm	2015-09-02 15:49
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