recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Copattern matching and first-class observations in OCaml, with a macro A link for non-academics by Andris Birkmanis Examples from the paper by gasche	naasking	2017-12-25 02:52
Story	Exploiting Vector Instructions with Generalized Stream Fusion	Andris Birkmanis	2017-12-22 03:33
Forum topic	Project Loom: adding fibers and continuations to Java No mention of Kilim or Quasar by J Muhammad Houshyar concurrent vs parallel by Rys McCusker Fibres by skaller programs as cooperating strands in a group by Rys McCusker Fibers to replace ad hoc state machines with vanilla code style by Rys McCusker The article seems to by Josh Stern control flow origami by Rys McCusker Misc thoughts by Josh Stern Done. I thought the whole by Ehud Lamm sure (park vs block terms) by Rys McCusker ...	Rys McCusker	2017-12-21 21:21
Forum topic	Help with Herbelin Thanks by gasche earlier than that by shriramk thanks by jimdesu thanks y'all by jimdesu Evaluation context by gasche hmmm by jimdesu environments with holes by gasche Good question by John Shutt thanks by jimdesu myoo by John Shutt ...	jimdesu	2017-12-21 16:01
Forum topic	Actual programs written in FP or FL? Pointfrip by Stefan Cygon Furry Paws by doublec Links to FP implementations in de.wikipedia.org by Stefan Cygon Illinois FP source by Lewis Bruck nothing to be surprised of by Boyko Bantchev Obviously I googled for it by James Hague google is amazing... by jonraphaelson Illinois FP by Kevin Greer at least there is an interpreter to play with by Boyko Bantchev PLaSM by Andrew Glynn ...	James Hague	2017-12-18 11:11
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Pointers by skaller how to tell the boundary? by Julian Rohrhuber Draft by gasche cross-paradigm linkage by John Shutt interactive programming and embedding (edited) by Julian Rohrhuber Time and time again by John Shutt domain specificity by Julian Rohrhuber Relevance? by dmbarbour Imperative languages without mutable variables by johnwcowan Oleg has a page about the by naasking ...	Vladimir Slepnev	2017-12-01 12:08
Story	How efficient is partial sharing? Optimal reduction without oracle? by Anton Salikhmetov Just plain old MLTT by neelk judgmental equality in dependent type theory by Charles Stewart Conversion in type theories by neelk CBV and CBN; PL implementation concepts by Charles Stewart sharing strategies by dmbarbour	Charles Stewart	2017-11-21 13:37
Forum topic	Non-determinism: a sublanguage rather than a monad Position not changed. by Keean Schupke Close enough. by dmbarbour "To justify my earlier by Matt M Frameworks by Keean Schupke Interesting by Keean Schupke Real IO isn't Simulated IO. Or is it? by dmbarbour Simulation by Keean Schupke Simulated IO is still IO by dmbarbour Removing IO. by Keean Schupke IO can be run within a by dmbarbour ...	Greg Buchholz	2017-10-28 07:57
Story	"8th" - a gentle introduction to a modern Forth Stack types by dmbarbour Struck by this as well by shap agreed, but ... by cpurdy Not very restrictive by dmbarbour Too restrictive? by Matt M Bi-directional by dmbarbour Simple language = intermediate representation? by Matt M re: libraries, compatibility by dmbarbour re: core vs. abstract syntax by dmbarbour I've always thought that by naasking ...	Allan McInnes	2017-10-14 05:08
Forum topic	The Platonic Solids of Software Construction and Their Realization in C safe for space complexity by e Magic type system by Keean Schupke that is by Julian Rohrhuber If I write a library that by Matt M It's not a matter of... by neelk Ah, I see what your saying. by bryanedds That's a very implementation by Matt M early lisp history refs by John Shutt early lisp history by Julian Rohrhuber Terminology by Keean Schupke ...	bryanedds	2017-09-29 19:00
first page previous page next page last page