Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for typecase with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-2019 (12)
Publication types (Num. hits)
article(2) inproceedings(10)
Venues (Conferences, Journals, ...)
LICS(2) ACM Trans. Program. Lang. Syst...(1) ECOOP(1) ELS(1) Haskell(1) ICFP(1) Interactions(1) Java Grande(1) PLDI(1) POPL(1) TLDI(1)
Authors
Benjamin C. Pierce(2) Gordon D. Plotkin(2) Luca Cardelli(2) Martín Abadi(2) Bruno C. d. S. Oliveira(1) Burak Emir(1) Cliff Click(1) Daniele Varacca(1) Didier Verna(1) Dimitrios Vytiniotis(1) Dougie Mann(1) Geoffrey Washburn(1) Giuseppe Castagna(1) Jeremy Gibbons(1) Jerome Vouillon(1) Jim E. Newton(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 13 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
63Bruno C. d. S. Oliveira, Jeremy Gibbons TypeCase: a design pattern for type-indexed functions. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type-indexed functions, generic programming, type classes
39Dougie Mann TypeCase. Search on Bibsonomy Interactions The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Jim E. Newton, Didier Verna Strategies for TYPECASE Optimization. Search on Bibsonomy ELS The full citation details ... 2018 DBLP  BibTeX  RDF
39Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich An open and shut typecase. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intensional type analysis, generativity, reflexivity, ad-hoc polymorphism
33Ralf Lämmel, Simon L. Peyton Jones Scrap your boilerplate with class: extensible generic functions. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF recursive dictionaries, typecase, extensibility, generic programming, type classes
33Cliff Click, John Rose Fast subtype checking in the HotSpot JVM. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF checkcast, instanceof, typecase, Java, subtype
24Burak Emir, Martin Odersky, John Williams Matching Objects with Patterns. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Paul-André Melliès, Jerome Vouillon Recursive Polymorphic Types and Parametricity in an Operational Framework. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Giuseppe Castagna, Rocco De Nicola, Daniele Varacca Semantic Subtyping for the p-Calculus. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24John H. Reppy, Jon G. Riecke Simple Objects for Standard ML. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF object-oriented programming, functional programming, standard ML, programming languages design
24Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin Dynamic Typing in a Statically Typed Language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF theory
24Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin Dynamic Typing in a Statically-Typed Language. (long version: TOPLAS 13 (2): 237-268 (1991)) Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (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