recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Polymorphism, subtyping and type inference in MLsub Ad hoc polymorphism? by Matt M Bisubstitution by Stephen Dolan Thank you very much. by Kevembuangga Bisubstitution by gasche Reading the thesis by Kevembuangga Thanks by gasche Thesis draft and implementation by Catalin Hritcu While you're here... by Matt M Recursive types and type errors by Stephen Dolan Restrict subtyping to fine types by Matt M ...	gasche	2018-07-13 00:37
Forum topic	Higher Order Functions Considered Unnecessary for Higher Order Programming Argument seems to rely on notation by mikesamuel This first order style can by Matt M	irisjay	2018-07-12 18:54
Story	Transfer of pywer	Ehud Lamm	2018-07-12 17:24
Story	Captcha Yep! I gave up after by Ehud Lamm FYI: A train car isn't a car by Matt M v2 ReCaptcha installed by Anton van Straaten	Ehud Lamm	2018-07-09 18:16
Forum topic	Upward confluence in the interaction calculus Yes, it is indeed by Anton Salikhmetov Upward confluence by John Shutt	Anton Salikhmetov	2018-07-03 10:36
Forum topic	Programming language Theme-D HTML links by Manuel J. Simoni Numerical Tower by tohoyn	tohoyn	2018-06-12 14:40
Forum topic	C++ fun None by shap He does feel the pain, by Kalani - by marco Seen worse by marco Error messages in general by John Shutt Pith lord by cpurdy Failure to pith by Matt M What language? by adrieng What language has inspired by Matt M	chrisoliver	2018-06-11 02:05
Forum topic	New DSL for secueity	True Konrads	2018-06-05 23:31
Forum topic	I have a problem with arguments passed as non-evaluated expressions Thank you! by artemonster Please, sir, I want some more? by cpurdy wrap by John Shutt You always need primitives by xkapastel You can still have this sort by artemonster Primitives by xkapastel Why can't you delete posts? by xkapastel	artemonster	2018-06-01 10:46
Forum topic	Proof system for learning basic algebra ... and by Julian Rohrhuber interfacing with text by Julian Rohrhuber Possibly more bikeshedding by Anders Horn UX by Matt M Re: Nice feature of the interface by Edwin Zacharias Nice feature of the interface by Anders Horn focus by John Shutt	Edwin Zacharias	2018-05-25 20:27
first page previous page next page last page