|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michele Bugliesi, Santiago M. Pericás-Geertsen |
Type Inference for Variant Object Types.  |
Inf. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen |
Orderly communication in the Ambient Calculus.  |
Comput. Lang.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen |
What Are Polymorphically-Typed Ambients?  |
ESOP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. Kfoury, Santiago M. Pericás-Geertsen |
Type Inference for Recursive Definitions.  |
LICS  |
1999 |
DBLP DOI BibTeX RDF |
type systems, type inference, lambda calculus, unification, software specification |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|