recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Temporal Higher Order Contracts	gasche	2016-02-05 16:20
Forum topic	SPREAD: Authenticated reusable computations Nevermind by Matt M purely functional - it has to be by Robbert van Dalen Neat by Matt M Outsourcing computations by Robbert van Dalen Authenticated Data Structures by Robbert van Dalen What's wrong with using a by Matt M You don't need to complete by Robbert van Dalen The big deal breaker? by Robbert van Dalen Enchilada woes by Robbert van Dalen Reproducing computation by dmbarbour ...	Robbert van Dalen	2016-02-04 23:10
Forum topic	Challenges Facing a High-Level Language for Machine Knitting If you want to implement and by Sean McDirmid i don't get it by raould I wish to subscribe to that newsletter by raould I guess before PL went on by Sean McDirmid Meh by dmbarbour Not theory by Sean McDirmid Not mostly math by dmbarbour I don't think anyone has by Sean McDirmid PL theory isn't by dmbarbour Are we talking about by Sean McDirmid ...	marco	2016-02-03 22:07
Forum topic	Need to Talk p.s. Hamming by Thomas Lord Hamming vs. lame researchers by Thomas Lord It wouldn't be weird to have by Sean McDirmid It does sound that way. I by Andrew Moss Hm by gasche Source by Andrew Moss Code can be very stable by johnwcowan I Might not be by Matt M End of the line??? by Blaisorblade Wait, you're not Matt Might? by Blaisorblade ...	marco	2016-02-02 05:56
Story	Coordinated concurrent programming in Syndicate conversations by raould	gasche	2016-02-01 18:40
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Safety, efficiency? by adrieng Yeah but what's the difference in results? by Josh Scholar A Modest Proposal by adrieng Possibly misuse of terminology by John Shutt Oxymoron by Keean Schupke Just saw more similar work by Blaisorblade Type checking as ``abstract'' interpretation by Oleg Opportunistic static typechecking? by Blaisorblade Offloading typechecking costs to the past or future by Ross Angle Interface by Josh Scholar ...	raould	2016-01-31 00:31
Forum topic	PECAN: Persuasive Prediction of Concurrency Access Anomalies	raould	2016-01-29 00:15
Story	Progress on Gradual Typing Yes, these last two posts of by Matt M Type Annotations by Keean Schupke Oh! Term-level proofs are unlikely in untyped code. Hmm. by Ross Angle Sufficiently expressive types by Keean Schupke If the typechecker processes by Matt M Annotations provided by the caller by Ross Angle Maybe the function's author by Matt M Inspecting source code at run time by Ross Angle What does soundness of gradual typing mean and is it important? by Matt M Sound gradual typing is not dead by gasche ...	gasche	2016-01-28 15:13
Forum topic	Project Lamdu Yes well, the cake is better by Sean McDirmid why? by raould You have to bake the cake by Sean McDirmid cake & eat by raould Actually, if it was ready by Sean McDirmid and what will be coming by raould I did click and see some by Sean McDirmid Click on the link by Roly Perera Has anything changed in the by Sean McDirmid	Greg Buchholz	2016-01-21 23:00
Forum topic	Proposal for a Friendly Dialect of C CCured approach? by Greg Buchholz bad optimizations. by Josh Scholar Follow-up by naasking The right kind of "friendly" by Tess Foley	Greg Buchholz	2016-01-15 17:08
first page previous page next page last page