user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Language combining relational algebra and domain algebra I'm on the same boat (but by mamcx Alloy by reaanb SQL queries and schemas are declarative by Keean Schupke Not declarative by davidb Composable matters by davidb Yes, SQL is probably the by davidb Declarative is good. by Keean Schupke Completeness vs Consistency? by Keean Schupke al jebr vs. calculus by raould in set builder notation... by Ivan V. ...	davidb	2015-01-12 17:37
Story	Call-by-Name, Call-by Value and the Lambda Calculus Thanks for the by Blaisorblade That Plotkin paper defines by Matt M A good summary? by Blaisorblade So T = S should imply QT = QS by John Shutt Non-Congruence vs CR-ness by j4n bur53 If one can't get CR-ness, by John Shutt Not clear why Church Rosser by j4n bur53 The first work to break ground by John Shutt Doing it Without Church Rosser by j4n bur53 Now if only... by Andrei Formiga	Ehud Lamm	2015-01-12 02:08
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps ring model hierarchy from polarizing data tainting? by Rys McCusker If any program, under any by naasking is there a model for adequate permissions? by Rys McCusker Have you looked at capabilities? by Bakul Shah Problems with mere unix permissions? Try ADEQUATE permissions. by Ray Dillinger must prevent acting as remote proxy for low privilege users by Rys McCusker When even considering the OS to access a filesystem.... by Ray Dillinger vfs features likely open-ended in development scope by Rys McCusker Locking Memory by Keean Schupke non-blocking i/o only for fibers simulating green processes by Rys McCusker ...	Rys McCusker	2015-01-10 00:45
Forum topic	Function arity with currying and call-by-push-value Found it in the history, encoding issues found guilty by Blaisorblade Debugging by Blaisorblade Sorry for destroying my top post by Blaisorblade More pointers by Blaisorblade More precisely, the paper by Blaisorblade Instead of (read(), read()), by Blaisorblade BTW, I think "prohibiting by naasking You can use a tuple there, by Blaisorblade Not CBPV by Blaisorblade Thanks! Doubts: Two, if you by Blaisorblade ...	Blaisorblade	2015-01-05 16:09
Forum topic	How can be a interpreter faster than C (aka: kdb+) I've got it wrong by shap Type-Classes and Unboxed Types by Keean Schupke That's exactly the issue. by shap Practical (single variable) example by shap The Haskell rule by Matt M Correction by shap Agree, Interesting Discussion by Keean Schupke Sure you can by shap Differing assumptions by shap The dialects still aren't bad by Josh Scholar ...	mamcx	2014-12-31 14:26
Story	Morrow & First-class Labels Broken link. Here's a live by naasking absent : EmptyType by Andris Birkmanis Given type by Andris Birkmanis Is "case" primitive? by Daan Leijen Misinterpretation? by Daan Leijen Final classes by Andris Birkmanis Very cool! by Matt Hellige Reuse by Sjoerd Visscher Is {l :: a} a closed type? by Andris Birkmanis The tarpit of subtyping :-) by Daan Leijen ...	Frank Atanassow	2014-12-28 20:26
Forum topic	Function Readability & Understandability Understanding Intermediate Types by Keean Schupke In Javascript syntax I like the second one better. by Ray Dillinger Functional is supposed to be better? by Keean Schupke Does it need them by Keean Schupke Right, so full SQL is not by naasking SQL is compositional by Keean Schupke Cartesian product by Magnus Jonsson however I have seen people by naasking Language Design by Keean Schupke Oh I missed that you're by Matt M ...	Keean Schupke	2014-12-28 20:07
Forum topic	CFP: International Conference on Live Coding	yaxu	2014-12-28 18:43
Forum topic	SML# targets LLVM It seems serious by shap Pure programs are not guaranteed either confluent or terminating by johnwcowan Confluence by gasche both look interesting by Josh Scholar HLLs on LLVM by johnwcowan safepoint placement work by gasche Alive by Andreas Rossberg	raould	2014-12-26 21:05
Forum topic	Let's kick continuations around for a while... I used a unification by Ray Dillinger interesting Jason Hickey paper on async Plan9 file i/o by Rys McCusker agreed, in the case of the saved continuation, by Josh Scholar Did you hear yourself? by Ray Dillinger I think it can be finessed by Josh Scholar threads are somewhat over rated by Rys McCusker I misstated by Josh Scholar Seriously, just write the code. You'll find the problem. by Ray Dillinger Single threaded by Matt M As for gc by Josh Scholar ...	Ray Dillinger	2014-12-26 18:05
first page previous page next page last page