user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Type soundness and race freedom for Mezzo A few lessons from the Mezzo project by gasche Videos of the talk by adrieng	gasche	2015-05-07 13:14
Forum topic	What makes LtU more or less enjoyable? Suggestions by Ehud Lamm post more by raould It is more like by Sean McDirmid Alan Perlis said: by Robb Nebbe Co-design is the thing by gasche I've been holding back on by naasking Simplicity Follows Complexity by Robb Nebbe psychoceramics by John Shutt Some people are just too by Sean McDirmid reactionary, yes by John Shutt ...	gasche	2015-05-07 06:03
Forum topic	Pony Actor/OO with Deny Capabilities It's referenced from the by dmbarbour Double-blind? by adrieng	raould	2015-05-05 16:19
Forum topic	Controversy over the definition of "Logic Program" Erroneous (clausal) logic program by Hewitt bad logic by dmbarbour Unfortuntely easy to make mistakes with logic clause programs by Hewitt SAT Solving Logic Programs by Keean Schupke Not convinced by dmbarbour Logic clause syntax is inadequate for logic programs by Hewitt I haven't gotten far enough by Josh Scholar Exponential decay by dmbarbour Selecting Nodes by Keean Schupke Premature for article just on "Inconsistency Robustness" book by Hewitt ...	Hewitt	2015-05-03 22:07
Forum topic	Whither Effects-Continuations-Monads? Monoids or monads? by RobJellinghaus A usable design by Brandon Bloom Lightweight Monadic by naasking	raould	2015-05-02 01:12
Story	Paul Hudak Rest in peace by shahbaz While I never had the good by Timothy Beyer "It is our sad duty to by George Morrison Thank you. by Ehud Lamm I don't know anything about by Matt M	Ehud Lamm	2015-05-02 00:37
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" Curry's paradox does not involve negation (or Excluded Middle) by Hewitt "mathematics" by Thomas Lord Computatibility Logic by naasking Mathematics self-proves that it is open by Hewitt Formal Definition of Logic by Keean Schupke ontology by Thomas Lord	Hewitt	2015-05-01 15:21
Forum topic	C++ Parser Combinator Library You can't (easily) do that by Keean Schupke It would probably matter by Matt M Prioritised Choice by Keean Schupke The point by gasche Intended Abiguity by Keean Schupke Talking past each other by gasche Right Associative Operator Support in Prolog Example Parser by Keean Schupke Generating Tables. by Keean Schupke Lookahead is finite, backtracking isn't by Josh Scholar Lookahead == Backtracking by shap ...	Keean Schupke	2015-05-01 13:29
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing ArXiv nixed updating online article with published version by Hewitt I'll have to wait by Josh Scholar Implementations of ActorScript by Hewitt Are any implementations of actorscript available by Josh Scholar ActorScript tutorial by Hewitt various symbols are used by Kay Schluehr Is there some good _introduction_ to the subject? by Blaisorblade Abstract by Carl Hewitt	Andris Birkmanis	2015-04-25 23:47
Forum topic	Type Differentials Incremental computation at the type level? by Blaisorblade Implementation Details by Keean Schupke Parametrized types can do the job. by Hewitt That's one way to think of it by Kalani Universally Quantified Type Systems. by Keean Schupke	Talin	2015-04-25 15:02
first page previous page next page last page