user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Extensible Effects -- An Alternative to Monad Transformers Good point by Matt M Delimited continuations are by neelk I'm sure they are equivalent by Matt M OK, thanks. Another by Manuel J. Simoni So you can resume it multiple times by Matt M Why does it need the continuation? by Manuel J. Simoni A Proof Assistant Prototype Based on Algebraic Effects and Handl by chrisoliver That is quite useful, by Sean McDirmid This description is by neelk So let me translate this by Sean McDirmid ...	naasking	2013-08-01 13:03
Forum topic	Quote Safe unquote JVM language? Reflection is critical for by lihaoyi Cool, thanks for the links! by markt If you're willing to give up all ghosts of performance... by lihaoyi -----BEGIN PGP SIGNED by longpoke Fixed: asm.js vs. Java by lmeyerov missing link by raould Allocation is still an ambient privilege in Joe-E... by neelk Very true, 3. is what is by markt 1 is the simplest way, use 1. by renox I had not heard of Joe-E or by markt ...	markt	2013-07-30 09:43
Forum topic	Cryptography DSL. many interesting articles here by NickP yep by NickP Nice find by Barry Watson	Ray Dillinger	2013-07-29 22:49
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future What is the Temporal Logic Program for the account above? by Hewitt Temporal logic never by dmbarbour Limited models... by Ray Dillinger Logic Programming does not by dmbarbour Even with time arguments, Prolog can't implement concurrecy by Hewitt If I can't imagine it, then it can't be. by Hewitt If only you guys could have by Sean McDirmid Temporal logic programming by dmbarbour Even with Monads, Lambda Calculus can't implement Concurrency by Hewitt That's just the closed world assumption by Ray Dillinger ...	Ehud Lamm	2013-07-28 20:42
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Bluetooth keyboard, cheap, fits in pocket. by Ray Dillinger Re: Picking from a list is better than touch typing? by dmbarbour Picking from a list is better than touch typing? by Travis Bemann Program with a gaming controller you say? by Barry Watson Touch is among the worst by dmbarbour In the age of touch, why by Sean McDirmid Intelligent pick lists or by dmbarbour We shouldn't be typing at all by Fritz Obermeyer Seconded by gasche You only have to type it once by Matt M ...	Sean McDirmid	2013-07-28 00:17
Forum topic	An attempted approach to type inference with subtyping Nordlander's paper is by Eli Sennesh Inferred type of twice by Peter A Jonsson	Eli Sennesh	2013-07-23 21:22
Forum topic	Pythonect 0.6.0 released	ikotler	2013-07-22 06:36
Forum topic	mobile web apps are slow -- and GC is to blame Fair point by Matt Hellige Totally doable by lmeyerov I see by Andreas Rossberg Thanks by lmeyerov Parallelism by Andreas Rossberg another real hard performance wall seen by end users to date by raould Neat by lmeyerov e.g. by raould research is not dead yet? by raould GC collection times by Barry Watson ...	Christian Lindig	2013-07-18 22:05
Forum topic	Tools that provide "closed" view of open/extensible abstractions? not just read-views by raould Intentional programming does by dmbarbour In jiazzi, we also had the by Sean McDirmid Wasn't Simonyi's intentional by Sean McDirmid I pursued this problem for a by dmbarbour Fluid AOP? by Roly Perera I believe their is some by Sean McDirmid Thanks for the references by Tess Foley There is Don Batori's work by Sean McDirmid	Tess Foley	2013-07-12 17:23
Forum topic	Crowdsourced Enumeration Queries	lmeyerov	2013-07-08 04:31
first page previous page next page last page