Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Titel | Proc. 2nd Int'l Static Analysis Symposium (SAS) |
| Vol/bind | LNCS |
| Forlag | Springer |
| Publikationsdato | 1995 |
| Status | Udgivet - 1995 |
| Begivenhed | Static Analysis Symposium (SAS) - Glasgow, Storbritannien Varighed: 29 nov. 2010 → … |
Konference
| Konference | Static Analysis Symposium (SAS) |
|---|---|
| Land | Storbritannien |
| By | Glasgow |
| Periode | 29/11/2010 → … |
ID: 12873370