Re: Daniel Jackson on types in Alloy


Subject: Re: Daniel Jackson on types in Alloy
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Mon Feb 25 2002 - 10:06:16 EST


Read Quine's set theory book for something like that and weep.

What's the objection to prefix? -- Matthias



This archive was generated by hypermail 2b28 : Mon Feb 25 2002 - 10:06:17 EST