user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Sessions are coming online by Charles Torre I don't see that by marco One big difference by marco Phantom problem by Andreas Rossberg We have the terminology by gasche Informal definitions by Keean Schupke Indeed by Keean Schupke Notations and concepts by gasche Many different logics by Andreas Rossberg Dissapointing. by Keean Schupke ...	Charles Torre	2014-06-04 00:59
Forum topic	Project Zonnon: Oberon for distributed programming in the large	raould	2014-06-04 00:15
Forum topic	Symbol visibility (public, private, protected, etc.) Modelling and Upstream by Keean Schupke Respectful and disrespectful imports by Ross Angle contracts by Chad Wellington Leakage is not privilege by John Shutt Testing? by Andreas Rossberg Do what I say, not what I do by John Shutt Depends on release management by Brandon Bloom Legalities not appreciated by marco Enforcement by Matt M Energy, time, space by marco ...	Talin	2014-05-31 05:02
Forum topic	ML-TID Type Interface Debugger don't fully agree by raould I spend a lot of time making by Sean McDirmid hooray by raould Step-based debugging for by Sean McDirmid	raould	2014-05-30 20:41
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal Compiler in BASIC by sigfpe original BASIC by Boyko Bantchev The one with every line by Ehud Lamm Favourite BASIC macine by Keean Schupke No debugger needed by Anton van Straaten Let's add a debug print in by Ehud Lamm I suspect the 20 goto 10 is by Sean McDirmid Intractable by Anton van Straaten I tried this, seems to be an by Sean McDirmid 1982! by marco ...	bashyal	2014-05-30 20:21
Forum topic	An experiment: Refined types - a better type system for more secure software I've not researched or by Tom Primožič Refinement and Dependent by kms	Tom Primožič	2014-05-29 15:06
Forum topic	JetBrains Nitra goes Open Source aside by raould	vieiro	2014-05-28 17:27
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Haskell does it by marco Prolog is Turing Complete by marco Sorry but I'm not entirely by Blaisorblade Behavior seems a problem in practice by Blaisorblade Haskell had each at some point by Blaisorblade I wouldn't know by marco Alternative solutions by Blaisorblade Not true by marco Unification in type inference and Prolog is the same by Blaisorblade Yeah by marco ...	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome OK, so you're doing a whole by neelk Yes, you can form streams by Matt M Well, it does make some sense somewhere. Or does it? by marco 1) Yes, you can form streams by neelk Should streams be formed by Matt M Sort of by neelk Okay by neelk please link by raould Temporal Logic Questions by chrisoliver If you're thinking of by neelk ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments It is not aspect oriented by Sean McDirmid Aspect-oriented programming? by Davor Cubranic Depth parameter? by kms Computable Comments, Tangible Comments by dmbarbour code rewriting by Rys McCusker Flowcharts by John Shutt I thought about calling this by Sean McDirmid Literate programming by John Shutt you could do that already? i jest, i jest. by raould cons now, pros later by Rys McCusker ...	Sean McDirmid	2014-05-22 23:23
first page previous page next page last page