Lambda the Ultimate

type	title	author	last post
Story	Polymorphism, subtyping and type inference in MLsub Thesis draft and implementation by Catalin Hritcu	gasche	2018-07-13 00:37
Forum topic	F* (FStar) reworked and released as v0.9.0 ML workshop talk on F* by Catalin Hritcu	raould	2015-09-11 06:34
Story	Achieving Security Despite Compromise Using Zero-Knowledge An awesome new language for developing secure software by Catalin Hritcu	Paul Snively	2009-06-19 10:19
Story	Type-Checking Zero Knowledge Thank you for the reference by Catalin Hritcu	Paul Snively	2008-12-05 14:52
Story	HOT Pickles Re: Acute by Catalin Hritcu	Chris Rathman	2007-06-24 08:32

---

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