recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Fully Abstract Compilation via Universal Embedding ? by gasche Long paper; short conclusion by cpurdy Full abstraction and optimization by dmbarbour The short answer is that by gasche does full abstraction imply segmentation? by Dave	naasking	2016-08-04 09:26
Story	Philip Wadler: Category Theory for the Working Hacker \|- means nothing by Derek Elkins real world out of memory by raould Pure Computer Programs by Keean Schupke If the language by naasking Not Absurd by Keean Schupke Observability by Keean Schupke Then the Ariane rocket by naasking error by John Shutt Simplicity begets correctness by Matt M . by Keean Schupke ...	Ehud Lamm	2016-09-23 20:29
Story	PowerShell is open sourced and is available on Linux Well, you can always use NoSQL by johnwcowan We have to choose by Bárður Árantsson in this day and age by raould PowerGUI gone? by Heribert Slama I meant the Achilles' heel by Ehud Lamm Do we really have to choose by naasking Ability to fix bugs by Z-Bo and insurance against future changes to underlying object models by davidgrenier	Ehud Lamm	2016-08-21 21:31
Story	Automating Ad hoc Data Representation Transformations You're missing the point by Z-Bo Benchmarking and Generic Programming by Keean Schupke The reason it isn't fully realized by Z-Bo	naasking	2016-09-29 18:54
Story	Proving Programs Correct Using Plain Old Java Types Paper is based on Java 6 by asajeffrey Not Surprising by Keean Schupke	naasking	2016-11-11 00:28
Story	Salon des Refusés -- Dialectics for new computer science "Who are you? How did you get in my house?" by Cyril Domain of discourse by Julian Rohrhuber Programmers by John Shutt Not all languages are suited by Ivan V. Definitely perceptions can change. by Ray Dillinger Fire and ice by John Shutt Explains more than the love. by Andrew Moss Nostalgia ain't what it used to be by John Shutt I disagree with how I read by naasking I don't think your theory by Matt M ...	gasche	2017-02-19 07:18
Story	Polymorphism, subtyping and type inference in MLsub Ad hoc polymorphism? by Matt M Bisubstitution by Stephen Dolan Thank you very much. by Kevembuangga Bisubstitution by gasche Reading the thesis by Kevembuangga Thanks by gasche Thesis draft and implementation by Catalin Hritcu While you're here... by Matt M Recursive types and type errors by Stephen Dolan Restrict subtyping to fine types by Matt M ...	gasche	2018-07-13 00:37
Story	Joe Armstrong Interviews Alan Kay	Ehud Lamm	2016-11-25 18:23
Story	Contextual isomorphisms HTT by Charles Stewart BTW yours could be a good SO answer by Blaisorblade That's the sort of questions by Blaisorblade I think you're right. What I by Blaisorblade Extensional or Intentional by Keean Schupke Are nested types not a complication? by Matt M What about non-dependent contexts? by gasche Contextual equivalence for dependent types by Blaisorblade Is the answer to your question really “probably not”? by Guillaume MM I see undecidability everywhere by marco ...	gasche	2017-03-10 16:30
Story	Do Be Do Be Do Static Scoping and Shadowing. by Keean Schupke One State by Keean Schupke Also by Matt M Fixed state cofunctions by Matt M cofunctions vs coroutines by Keean Schupke Hmm by Matt M Single Thread of Control by Keean Schupke The Cofunction by Keean Schupke yield by skaller Yield returns control to the caller by Matt M ...	gasche	2017-01-12 18:51
first page previous page next page last page