Lambda the Ultimate

type	title	author	last post
Forum topic	general patterns in PL persistence schemes? re: code visibility by dmbarbour if only by dmbarbour mounting and aliasing by dmbarbour vfs by dmbarbour durability by dmbarbour opinions by dmbarbour	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Separate Concerns by dmbarbour	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Multiplicative Disjunction and Principal Types by dmbarbour Composition, Modularity by dmbarbour	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. DSLs for performance by dmbarbour Thanks. I do remember by dmbarbour mixing GC modes by dmbarbour Language level security by dmbarbour turning the app around by dmbarbour Mist by dmbarbour Hard advice by dmbarbour Advice and Influence by dmbarbour Not quite by dmbarbour We can compile to different by dmbarbour ...	John Nagle	2015-02-09 07:25
Forum topic	Computing by deltas? Sounds interesting. by dmbarbour Always specific by dmbarbour incremental computing by dmbarbour	Andy Fischer	2015-02-06 16:26
Forum topic	How can languages help us in terms of achieving correct program design? Property testing is by dmbarbour Testing by dmbarbour Fluid phases and annotations by dmbarbour Agreed. by dmbarbour API by dmbarbour Bug-resistant Languages by dmbarbour	bryanedds	2015-02-02 17:56
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps re: Unix style by dmbarbour design patterns, traits, auto-wiring, constraints by dmbarbour	Rys McCusker	2015-01-10 00:45
Forum topic	How can be a interpreter faster than C (aka: kdb+) The 'trick' by dmbarbour Thanks for the ref. I wasn't by dmbarbour advice by dmbarbour J by dmbarbour fast interpreters by dmbarbour	mamcx	2014-12-31 14:26
Forum topic	Let's kick continuations around for a while... Reality by dmbarbour The simpler ideas DO have by dmbarbour re towers of dependencies by dmbarbour performance by dmbarbour Read the Source, Luke by dmbarbour machines by dmbarbour	Ray Dillinger	2014-12-26 18:05
Story	Zélus : A Synchronous Language with ODEs really neat by dmbarbour	gasche	2014-12-11 21:52
Forum topic	Paged topics ?comments_per_page=600 by dmbarbour	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? questionable generalizations by dmbarbour universal languages and system architecture by dmbarbour Similarities by dmbarbour avoiding coupling by dmbarbour not emacs by dmbarbour portable languages by dmbarbour channels for tools by dmbarbour not a file, unless you stretch the term by dmbarbour Unproblems by dmbarbour proving stuff by dmbarbour ...	Sean McDirmid	2014-12-06 15:20
Forum topic	Looking for a good online forum on compiler design and implementation I've read of some time by dmbarbour Record and replay doesn't mean reversible by dmbarbour Illusions or History by dmbarbour Logging is not record and by dmbarbour In practice there is no by dmbarbour MSVC++, for one. Though by dmbarbour Code maps & runtime code modification by dmbarbour Applicative by dmbarbour Sometimes LL(k) for k>1 by dmbarbour You should run some by dmbarbour ...	Talin	2014-12-03 22:33
Forum topic	Code Completion for Generic Programming claims of productivity by dmbarbour	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Maintenance experiments by dmbarbour	Ray Dillinger	2014-11-18 03:22
Forum topic	Opposing Hierarchies of Complexity profundity metrics by dmbarbour linearity by dmbarbour Durnken Logic by dmbarbour	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Time travelling debuggers by dmbarbour Poor integration of by dmbarbour ignoring exceptions by dmbarbour the partial failure problem by dmbarbour This syntax for exceptions by dmbarbour	Chung-chieh Shan	2014-11-04 18:51
Story	Inside the Wolfram Language I really like the easy by dmbarbour	bashyal	2014-11-04 07:29
Forum topic	Programming with Managed Time re: real time and live coding by dmbarbour longer timelines by dmbarbour Nice format and examples by dmbarbour not idempotent by dmbarbour Thanks for sharing. Keep up by dmbarbour	Sean McDirmid	2014-10-23 00:47
Forum topic	Jonathan Blow's next foray into game language design ATS by dmbarbour Precise GC by dmbarbour annotations by dmbarbour 3x with paging by dmbarbour 3x memory? by dmbarbour game engine developers by dmbarbour Game developers have by dmbarbour	jdougan	2014-10-21 20:35
Forum topic	Eve development diary Constraint solvers by dmbarbour	jamii	2014-10-20 20:29
Story	LtU's new server Thanks by dmbarbour UTF-8 failures by dmbarbour	Anton van Straaten	2014-10-20 16:51
Forum topic	automatic test discovery without reflection? Naming conventions by dmbarbour	Talin	2014-10-16 17:34
Forum topic	On constness Modeling mutation by dmbarbour	Talin	2014-10-13 20:58
Forum topic	A question of separation logic and monads algebraic effects by dmbarbour	Eric Biederman	2014-10-06 04:44
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