Lambda the Ultimate

type	title	author	last post
Forum topic	CFP: PLOS '09: 5th Workshop on Programming Languages and Operating Systems Submission Deadline Extension by eeide	eeide	2009-06-20 17:03
Forum topic	CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System	eeide	2023-06-30 20:55
Forum topic	CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems	eeide	2019-07-08 18:05
Forum topic	CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems	eeide	2021-07-02 21:34
Forum topic	CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems Reminder: PLOS 2007 Deadline is Three Weeks Away by eeide	eeide	2007-06-07 16:54
Forum topic	CFP: PLOS '11: 6th Workshop on Programming Languages and Operating Systems	eeide	2011-05-25 02:50
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
Forum topic	New simple proof system Love it! by marco Re: A deep inference Hilbert proof system by Edwin Zacharias A deep inference Hilbert proof system by gasche	Edwin Zacharias	2017-08-13 22:29
Forum topic	Exhaustiveness checks for algorithms that manipulate imperative data structures Thanks! F* looks by Eduardo León Constraint Solver Type Checker by dmbarbour I do not mind manually by Eduardo León Dependent Types by Matt M	Eduardo León	2020-08-30 14:57
Forum topic	New Fortress Release	Edson Manoel	2006-03-07 16:32
first page previous page next page last page

---

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