Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

mattmight's profile

About me

Not specified

Static analysis, abstract interpretation, programming languages, functional programming, control-flow analysis.

2009-11-23

2009-11-21