Lambda the Ultimate

type	title	author	last post
Forum topic	Why is there no widely accepted progress for 50 years? Haskell, Agad, Rust, Coq, HOL ? by AaronNGray	Milton Silva	2021-06-09 23:27
Forum topic	looking for dependent research proof system language implemented in C++	AaronNGray	2020-12-16 14:12
Forum topic	Looking for VM's or AM's for functional languages. HLVM was an attempt at by AaronNGray	AaronNGray	2020-12-10 16:10
Forum topic	Upward and downward polymorphism in object oriented languages. virtual (polymorphism) and non virtual (method call) by AaronNGray 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	thomash	2020-11-19 02:27
Forum topic	Looking for papers on covariance and contravariance	AaronNGray	2019-02-10 18:33
Story	Functional Pearl: Type-safe pattern combinators Template Haskell by AaronNGray	naasking	2016-09-16 18:18

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation