user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers	craiganslow	2016-06-28 23:01
Forum topic	WebAssembly narrow gutter question by raould Another method by Ivan V. avoid synchronization by Rys McCusker Concurrency and GC by dmbarbour Concurrency by Keean Schupke Naive refcounting by dmbarbour OS and Stacks by Keean Schupke A retrospective by Andrew Moss Indeed. by Keean Schupke Trivial Optimisation by Keean Schupke ...	Ivan V.	2016-06-24 17:31
Forum topic	PHOG: Probabilistic Model for Code	Sean McDirmid	2016-06-22 00:52
Story	Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)	naasking	2016-06-18 12:52
Forum topic	Recursive types Algol'68 Terminology by marco There should be a simple check by marco OCaml type checking is clever by Keean Schupke We agree on that by marco Rational Trees by Keean Schupke Don't expect to be wrong by marco Rational Trees by Keean Schupke Don't think it's that simple by marco Unification by Keean Schupke Probably only turns off the Occurs-check by marco ...	skaller	2016-06-17 06:02
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code In my experience there is a by Bárður Árantsson A lot of these problems also by Jules Jacobs Hm by gasche word by raould Are F# units of measure used by Jules Jacobs Used in practice? by gasche others by raould F# unit of measures by gasche Unit consistency checking by Ray Dillinger Sort-of echoing naasking's by Bárður Árantsson ...	naasking	2016-06-12 18:06
Forum topic	Transpiling a dynamically typed language to a statically typed language Depends by Ivan V. Queinnec's Lisp In Small Pieces by Basile STARYNKEVITCH	filipallberg	2016-06-12 14:54
Forum topic	Stack of regions for managing effects? Monadic Regions by Oleg	Aivar Annamaa	2016-06-11 15:11
Story	Set-Theoretic Types for Polymorphic Variants Interesting by Matt M	naasking	2016-06-09 18:41
Forum topic	Programming with a Differentiable Forth Interpreter word by raould I am really fascinated by this topic, btw.... by Ray Dillinger Problem domain mismatch? by Ray Dillinger Fizzbuzz by Roly Perera	Sean McDirmid	2016-06-06 19:46
first page previous page next page last page