Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase let-polymorphism (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2006 (9)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
POPL(3) LOMAPS(2) ACM Trans. Program. Lang. Syst...(1) ICFP(1) JELIA(1) TAPSOFT(1)
Authors
Flemming Nielson(2) François Pottier(2) Hanne Riis Nielson(2) Torben Amtoft(2) Vincent Simonet(2) Chuck C. Liang(1) Cristiano Calcagno(1) Hans Leiß(1) Harry G. Mairson(1) Henning Makholm(1) Ik-Soon Kim(1) J. B. Wells(1) Jürgen Ammann(1) Kwangkeun Yi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
56Henning Makholm, J. B. Wells Type inference, principal typings, and let-polymorphism for first-class mixin modules. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF mixin modules, record concatenation, row unification, type systems, polymorphism
45Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno A polymorphic modal type system for lisp-like multi-staged languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference
32Harry G. Mairson Deciding ML Typability is Complete for Deterministic Exponential Time. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF ML
29Chuck C. Liang Let-Polymorphism and Eager Type Schemes. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Hans Leiß Polymorphic Constructs in Natural and Programming Languages. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22François Pottier, Vincent Simonet Information flow inference for ML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF non-interference, Constraint-based analysis
22François Pottier, Vincent Simonet Information flow inference for ML. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Flemming Nielson, Hanne Riis Nielson, Torben Amtoft Polymorphic Subtyping for Effect Analysis: The Algorithm. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license