user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Janus: A Time-Reversible Language Too much work and too by Sean McDirmid Really interesting idea by Andrew Moss Immutability by Robbert van Dalen I'm not big on energy by Sean McDirmid In a model of update where by Sean McDirmid That is definitely one way by Sean McDirmid not reversing code by Robbert van Dalen Let's put it this way: how by Chris Warburton The more common problem with by Matt Hellige Undoing effects by Roly Perera ...	Sean McDirmid	2013-05-25 11:38
Forum topic	Osmosian F3 is back? Nice! We should by Sean McDirmid that was a more english-y syntax by chrisoliver yet there's something in there somewhere by raould I would need some convincing by Douglas McClean yup by raould Plain English programming by James Candy Â¿did you read the source material? by raould You can't program in English by Shawn H Corey Inform by kms There manifesto uses a by Sean McDirmid	raould	2013-05-22 00:07
Forum topic	Terra: A low-level counterpart to Lua Nimrod by dom96 Better BLAS through meta-programming by Oleg what about non-alpha/beta ware? by raould Red by therandthem alternatives? by raould	Denis Washington	2013-05-21 19:10
Story	Foundations of Inference Sampling uniformly from the by Douglas McClean Regress by Biep Aczel by Paul Snively When you take a look at some by Kay Schluehr PoincarÃ© quote by kenhirsch Commuters by Kay Schluehr Foundations of mathematics by Kay Schluehr Physical proofs and refutations by Charles Stewart 100 years isn't "soon" in the history of mathematics by Paul Snively dead for a century this year by JeffB ...	Paul Snively	2013-05-21 03:54
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Primitive composition operators by Z-Bo classes considered harmful no more? by raould Tree shaking isn't quite a by naasking Just watched this today by Z-Bo The first LtU language I use in a commercial app! by Z-Bo Anders and Lars Bak Discuss... by Charles Torre Interesting by gasche JS code completion impl. implies widespread IDE support? by Krilnon I'll give you that they are by Krilnon Relevant by lmeyerov ...	Charles Torre	2013-05-21 02:56
Forum topic	Genealogical Diagrams broken link	raould	2013-05-20 23:45
Forum topic	Dimensional Analysis in real world and Type Systems I meant in research, this is by Sean McDirmid care of stackoverflow by raould Haskell by Douglas McClean "many"?!?!? by raould Interesting stuff. Thanks. by sciomako Many languages support by Sean McDirmid	sciomako	2013-05-20 23:38
Forum topic	ANN: Emerging Languages and Strange Loop 2013 fyi your link is unfriendly or just plain incorrect by raould	puredanger	2013-05-20 19:10
Forum topic	what's a useful definition of equivalent functions? Coinduction is ... hmmm. by Chris Warburton a riff on definitions by Rys McCusker workable plan by Rys McCusker Tangential, but interesting. by Ray Dillinger project sounds useful by Rys McCusker Coinduction is an interesting new technique to me. by Ray Dillinger Mathematical functions. by Barry Watson Co-induction and Bisimilarity by Chris Warburton I mean useful equivalence for programming purposes. by Ray Dillinger clarification of terms? by Rys McCusker ...	Ray Dillinger	2013-05-20 09:29
Forum topic	Everybody Needs a Syntax Extension Sometimes Bug fixed by j4n bur53 Changing the economics by RobJellinghaus Epigrams on Programming, by neelk Where do these Alan Perlis by acn Felix system by skaller It is my strong preference by dmbarbour Obvious Risk by j4n bur53 Many logic programming and by dmbarbour One gets used to it by j4n bur53 I think I've understood by Barry Watson ...	danbst	2013-05-19 12:26
first page previous page next page last page