user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Structured Generative Models of Natural Source Code Statistical program synthesis by lmeyerov first they came for the blue collars by raould	Sean McDirmid	2014-02-06 03:28
Forum topic	PuzzleScript Modularity by dmbarbour Thanks by davidb Good point by davidb REBOL seems to have been by dmbarbour sounds interesting so far by Rys McCusker My idea is something like this by davidb Do you have a database DSL fuzzy idea in mind? by Rys McCusker I still call them "Little by Ehud Lamm Common Lisp by Hank Thediek A slightly different question by davidb ...	Tess Foley	2014-02-01 15:29
Story	The marriage of bisimulations and Kripke logical relations The paper is very by Hank Thediek This is a pretty dense paper... by neelk	Charles Stewart	2014-02-01 12:46
Forum topic	Minimal implementation of state machines Harel's Statecharts by jimdesu Statechart compilation by e Synchronous languages by adrieng Rules cycle back when they by giuseppemag Oh yes, I remember it well. by giuseppemag I suspected as much. Still, by giuseppemag Your rewriting does not look by giuseppemag Yes, exactly. by giuseppemag The FRP solution would by Sean McDirmid Kolmogorov complexity by Dave Griffith ...	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages old saws by raould Plauger on top-down design by John Shutt Dynamic languages don't require upfront decisions as often by nabreit Thanks, these are really by Tom Primožič Related work by gasche Wow. by Tom Primožič Thank you very much for the by Sebastian Okon Unsafety by johnwcowan Compositionality by Andreas Rossberg Pealing back option levels & find vs get by Brandon Bloom ...	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft HPL: hyper-productive by davidb The goals appear good, but by davidb For what it's worth by RM Schellhas Xamarin by Charles Torre Doesn't it? I think Unity's by naasking Mono by Dave Griffith Great points by Charles Torre pop tech noise by Rys McCusker Title of this post... by Charles Torre Based on C#... requires MS runtime/OS by danielearwicker ...	Charles Torre	2014-01-27 05:08
Forum topic	And the Academy Award goes to... a literate program	Tess Foley	2014-01-24 07:27
Forum topic	Less is more. Axiomatic language is about specification, not deduction by Walter W. Wilson Yeah, getting help via feedback can be hard. by Rys McCusker Soundness by Andreas Rossberg Help by skaller leery by skaller Crashes and sound typing by skaller I'm leery of specific assumptions by John Shutt Theoretical results by Andreas Rossberg I have a famous book by Andreas Rossberg Yes, only some is accidental. by Rys McCusker ...	Rys McCusker	2014-01-19 13:05
Forum topic	HTML extensibility i've been by Ivan V. About OMeta by Ivan V. OMeta by George Morrison List of languages that compile to JS by Ross Angle I googled around a bit and by Ivan V. Need more info to form a meaningful response. by Rys McCusker	Ivan V.	2014-01-16 21:31
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco Pierce's too by Andy Gocke Right by Adam Chlipala Excellent by Chris Warburton Dependently typed Red-Black trees by Damien Guichard	Adam Chlipala	2014-01-15 13:50
first page previous page next page last page