|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
160 | Brad Lushman, Gordon V. Cormack |
A larger decidable semiunification problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 143-152, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
acyclic semiunification, semiunification, decidability |
59 | Ken-etsu Fujita, Aleksy Schubert |
Existential Type Systems with No Types in Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 112-126, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Jochen Dörre, William C. Rounds |
On Subsumption and Semiunification in Feature Algebras ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990, pp. 300-310, 1990, IEEE Computer Society, 0-8186-2073-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
Type Reconstruction in the Presence of Polymorphic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(2), pp. 290-311, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification |
29 | Fritz Henglein |
Type Inference with Polymorphic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(2), pp. 253-289, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
semiunification, polymorphism, type inference, recursion |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|