andru

type	title	author	last post
Forum topic	Compiling high-level code to cryptography	andru	2024-01-25 13:02
Story	Happy Birthday, dear Lambda: 17 is good edition Programming games by andru	Ehud Lamm	2017-08-18 06:51
Forum topic	SHErrLoc: Diagnosing Type Errors with Class Other uses are possible by andru	raould	2015-12-21 18:56
Story	Compilers as Assistants Even better counterexamples by andru only works if the line numbers are accurate by andru The key is to get more information by andru The error localization problem by andru	bashyal	2015-12-04 15:35
Forum topic	GADT vs. Type Classes A Java version by andru	Greg Buchholz	2013-04-22 22:24
Story	J&: Nested Intersection for Scalable Software Composition C++ doesn't do this by andru Can you provide a pointer? by andru	Andris Birkmanis	2008-08-12 20:10
Forum topic	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility Actually, it does support #1 already. by andru	Derek Elkins	2008-01-22 19:01
Story	What do you mean by studying "programming languages"? ADTs can have state by andru	Ehud Lamm	2008-01-22 18:34

Lambda the Ultimate