user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Just in time...for a new by Sean McDirmid Mathjax > manual unicode usage by gasche iconv by gasche More unicode problems with by naasking "Meta-programming" by Andreas Rossberg Thank you for your thoughtful reply by Kalani Actually... by Eli Sennesh It is tracing data flow, by Sean McDirmid Thanks by neelk My quick glance at the paper by naasking ...	Sean McDirmid	2015-02-13 23:43
Forum topic	Job ads Thanks by Kalani Guidance by Anton van Straaten maybe make PL topic primary? with a job ad footnote? by Rys McCusker	Kalani	2015-02-11 23:11
Forum topic	symbols and loosely coupled concurrent apps part II HN on kernel vs user space i/o scheduling efficiency by Rys McCusker ID management in green thread i/o libraries by Rys McCusker the usual suspects (lib-kaiser-soze) by Rys McCusker It's not me, this was the by naasking Green Thread Performance by Keean Schupke Usual Approach by Keean Schupke yes, and control inversion helps with semantics-neutral api by Rys McCusker libuv seems to be a by naasking FWIW, by Ray Dillinger aio with an api suiting specific non-blocking green process lib by Rys McCusker ...	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. Elements of Programming by Keean Schupke He claims to be using math by Blaisorblade Misleading Title by Keean Schupke Order is easy to restore; by Sean McDirmid Once something has become a mess, its very hard to tidy again by Keean Schupke If you have something that by Sean McDirmid And yet he still got by Sean McDirmid On PL designers who use formalization hand in hand with design by Cyril wow, by raould Roughly by Matt M ...	John Nagle	2015-02-09 07:25
Forum topic	Computing by deltas? Something simpler by phazer Sounds interesting. by dmbarbour "Incremental DSLs" by Blaisorblade I don't believe an efficient by Sean McDirmid Associative folds are "easy" by Blaisorblade Reference on impossibility? by Blaisorblade Extended update function by phazer There are already obvious by Sean McDirmid This is how I understand it by Sean McDirmid deps + trace by Brandon Bloom ...	Andy Fischer	2015-02-06 16:26
Forum topic	SPLASH 2015 Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium	craiganslow	2015-02-03 09:53
Forum topic	How can languages help us in terms of achieving correct program design? Give me Kernel or give me Coq redux by Paul Snively thanks by John Shutt Good luck by Matt M Stalking the wild idea by John Shutt More specifically by Matt M me neither by John Shutt I can't get there by Matt M Concrete Platonic reality by John Shutt Philosophy by Matt M Turing power by John Shutt ...	bryanedds	2015-02-02 17:56
Forum topic	Iterative Functional Reactive Programming with the Nu Game Engine - An Informal Experience Report Also hiring part-time by bryanedds I for one by raould	bryanedds	2015-01-31 17:51
Forum topic	return-type polymorphism of monads done right in a dynamic language Somewhat different? by Matt M Same in typed languages by gasche Ben Wolfson by gasche That sounds right. by tonyg Doesn't work in general by Matt M	gasche	2015-01-27 16:18
Forum topic	How can middle school algebra help with domain specific languages? in natural language we can say “and” to mean several things by chrisoliver Algorithms by Keean Schupke Products and sums of their cardinalities by Ross Angle Intuition for product types by Jon Purdy Too much overloading! by Jon Purdy Direct-sum monoid by L Spice my subjective $0.02 :-) by raould It's the definition of "adding stuff" that's at issue. by Ray Dillinger why is type 'pair' a product type? by shahbaz string concatenation? by John Shutt ...	shahbaz	2015-01-21 17:18
first page previous page next page last page