user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Diseases in Code (rev. 5) not solving but perhaps reframing? by raould software economics by lmeyerov No examples by John Nagle	bryanedds	2014-07-14 23:16
Forum topic	The Programming Languages Enthusiast From any direction, I think by Sam Tobin-Hochstadt I guess it depends on what by Sean McDirmid Doesn't look niche to me by Sam Tobin-Hochstadt	Sean McDirmid	2014-07-13 15:58
Forum topic	Covariance issue when extending "enter" part in BETA? Just looked again now by Tess Foley Have you looked at dependent by Sean McDirmid Makes more sense for a virtual class by Tess Foley Drive-by hip shooting by Matt M Huzzah! by Tess Foley I had the same question by Andrew Glynn Not sure that answers my question by Tess Foley See section 6.5 by Bakul Shah Don't all speak up at once :) by Tess Foley	Tess Foley	2014-07-13 15:36
Forum topic	Note to home page contributors Well, the topic is near and by Ehud Lamm Thanks by gasche	Ehud Lamm	2014-07-13 11:40
Page	Departments	Anton van Straaten	2014-07-13 10:01
Forum topic	Is Rx FRP? wonderful find by lmeyerov Natura non facit saltus by Sean McDirmid time series by lmeyerov I guess you're right, but by chrisoliver Model view controller is by Sean McDirmid All those applications by Sean McDirmid GUIs, mainly... by neelk For that map you need an by neelk For that map you need an by Jules Jacobs practice by lmeyerov ...	Sean McDirmid	2014-07-08 18:02
Forum topic	Dynamic Hindley-Milner? I don't get it... by neelk I guess my type system is by Sean McDirmid A Precise Type Is A Value by Keean Schupke Sure, and I've implemented by Sean McDirmid Have you looked at Prolog? by Matt M	Sean McDirmid	2014-07-08 08:42
Forum topic	Gradual Instantiation Scala with Delite by David Minor Does Scala ever reach machine language level? by Keean Schupke Scala supports this by Sean McDirmid	David Minor	2014-07-06 17:37
Forum topic	Compositional let bindings Probably fast enough by marco Would Hackage be sufficient for you? by Blaisorblade I am thinking of a C based LLVM or GCC front end to it by marco I roughly implemented the same algorithm by marco Generalising HM by Keean Schupke Timing Type Inference by Keean Schupke It's on GitHub by Keean Schupke I stand corrected. by marco What it did and what it will do. by Keean Schupke Look at it after the match by marco ...	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces This is truly something that by mamcx There SHOULD be a build management magazine by mtenright Obligatory by Nicholas Ham nicknames by Rys McCusker Another joke is hiding in by Sean McDirmid Well... by Matt Hellige I was joking, but Make Live by neelk learn something new by Matthew McCowan personally i rather like the idea of naming it by raould PL Naming Patterns by Keean Schupke ...	Sean McDirmid	2014-07-04 03:31
first page previous page next page last page