recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	looking for dependent research proof system language implemented in C++ Lean by adrieng	AaronNGray	2020-12-16 14:12
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") yep by chetmurthy A-translation and constructions from classical proofs by Charles Stewart Previous discussion. by naasking Nanopass? by neelk Re: fwiw by chetmurthy fwiw by John Shutt Looking for examples not written using AGs (though) by chetmurthy JastAdd examples by Andrew Moss	chetmurthy	2020-12-15 19:40
Forum topic	Looking for VM's or AM's for functional languages. Moonad/Formality by dmbarbour Is F# functional enough? by const HLVM was an attempt at by AaronNGray one that never went anywhere fwiw by raould	AaronNGray	2020-12-10 16:10
Forum topic	Typer: ML boosted with type theory and Scheme gitlab by raould	raould	2020-12-03 18:46
Forum topic	Haskell-Like S-Expression-Based Language Designed for an IDE github by raould	raould	2020-12-03 18:25
Forum topic	Why is there no widely accepted progress for 50 years? Two of my favorite books on by edw Haskell, Agad, Rust, Coq, HOL ? by AaronNGray Well said, John, in many by cpurdy The role of PLs by John Shutt Similarities at other scales by Andrew Moss koolaid, oh yeah! by cpurdy re lightweight von Neumann threads by dmbarbour hmm by John Shutt A short reply by cpurdy concurrency by dmbarbour ...	Milton Silva	2020-12-02 18:50
Forum topic	Deterministic Concurrency Strategy statement on Synchronic Computation by Alex Berka Youtube & slides links. by Alex Berka Better search term. by Alex Berka Synchronic State Diagram by dmbarbour	Alex Berka	2020-12-01 15:10
Forum topic	System programming using FP Transient internet is transient by Daniel Yokomizo Threadlessly by Jack Waugh Hahaha!! by David B. Held Proving the correctness of reactive systems using sized types by Daniel Yokomizo I suspect the answer is that by Philippa Cowderoy Lazy evaluation in embedded systems. by Peter A Jonsson Timber by Andris Birkmanis Most of the current... by neelk ocaml seems to be where it's by andrew cooke Functional Programming and Embedded Systems by Allan McInnes ...	Todd Coram	2020-11-27 13:54
Forum topic	Upward and downward polymorphism in object oriented languages. Onward and upward by John Shutt why oh why oh why by cpurdy I'm aware of that. by Ray Dillinger virtual (polymorphism) and non virtual (method call) by AaronNGray Ergh. by Ray Dillinger I used the terms "upward" by Ray Dillinger *** by Ray Dillinger by AaronNGray by AaronNGray vtables verses pointers of array of functions by AaronNGray	Ray Dillinger	2020-11-21 00:09
Forum topic	Type Mapping in Source-To-Source Translation Argument dependant lookup by AaronNGray Great, thanks for the hints, by thomash [deleteme] by thomash Several ways to approach the problem by Z-Bo	thomash	2020-11-19 02:27
first page previous page next page last page