|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 867 occurrences of 406 keywords
|
|
|
Results
Found 715 publication records. Showing 715 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christian Queinnec, David De Roure |
Sharing Code through First-class Environments. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tyng-Ruey Chuang, Wen-Liang Hwang |
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert Harper 0001, Richard L. Wexelblat (eds.) |
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Duggan, Constantinos Sourelis |
Mixin Modules. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Brian T. Howard |
Inductive, Coinductive, and Pointed Types. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano, Marc Feeley |
Storage Use Analysis and its Applications. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ghelli |
Complexity of Kernel Fun Subtype Checking. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, type theory, type checking |
1 | Peter Thiemann 0001 |
Cogen in Six Lines. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
multi-level computation, continuations, partial evaluation |
1 | William Ferreira 0001, Matthew Hennessy, Alan Jeffrey |
A Theory of Weak Bisimulation for Core CML. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy |
Analysis and Caching of Dependencies. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez 0001 |
A New Look to Pattern Matching in Abstract Data Types. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001 |
The Semantics of Scheme with Future. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier |
Simplifying Subtyping Constraints. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Röjemo, Colin Runciman |
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #715 of 715 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|