Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Qian, Zhenyu
and
Krieg-Brückner, Bernd
1996.
ECOOP ’96 — Object-Oriented Programming.
Vol. 1098,
Issue. ,
p.
48.
Nazareth, Dieter
and
Nipkow, Tobias
1996.
Theorem Proving in Higher Order Logics.
Vol. 1125,
Issue. ,
p.
331.
Qian, Zhenyu
and
Krieg-Brückner, Bernd
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
458.
Prehofer, Christian
1997.
Informatik ’97 Informatik als Innovationsmotor.
p.
562.
Naraschewski, Wolfgang
and
Nipkow, Tobias
1998.
Types for Proofs and Programs.
Vol. 1512,
Issue. ,
p.
317.
Jeffery, D.
Henderson, F.
and
Somogyi, Z.
1999.
Type classes in Mercury.
p.
128.
Sulzmann, Martin
2001.
Functional and Logic Programming.
Vol. 2024,
Issue. ,
p.
248.
Stuckey, Peter J.
and
Sulzmann, Martin
2002.
A theory of overloading.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
167.
Alves, Sandra
and
Florido, Mário
2002.
Type Inference using Constraint Handling Rules.
Electronic Notes in Theoretical Computer Science,
Vol. 64,
Issue. ,
p.
56.
Stuckey, Peter J.
and
Sulzmann, Martin
2002.
A theory of overloading.
p.
167.
Duggan, Dominic
and
Ophel, John
2002.
Open and closed scopes for constrained genericity.
Theoretical Computer Science,
Vol. 275,
Issue. 1-2,
p.
215.
Stuckey, Peter J.
and
Sulzmann, Martin
2005.
A theory of overloading.
ACM Transactions on Programming Languages and Systems,
Vol. 27,
Issue. 6,
p.
1216.
Haftmann, Florian
and
Nipkow, Tobias
2010.
Functional and Logic Programming.
Vol. 6009,
Issue. ,
p.
103.
Gundry, Adam
McBride, Conor
and
McKinna, James
2010.
Type inference in context.
p.
43.
Vytiniotis, Dimitrios
Peyton Jones, Simon
and
Schrijvers, Tom
2010.
Let should not be generalized.
p.
39.
VYTINIOTIS, DIMITRIOS
PEYTON JONES, SIMON
SCHRIJVERS, TOM
and
SULZMANN, MARTIN
2011.
OutsideIn(X)Modular type inference with local assumptions.
Journal of Functional Programming,
Vol. 21,
Issue. 4-5,
p.
333.
Martin-Martin, Enrique
2011.
Type classes in functional logic programming.
p.
121.
Nipkow, Tobias
and
Roßkopf, Simon
2021.
Automated Deduction – CADE 28.
Vol. 12699,
Issue. ,
p.
93.
Holub, Štěpán
and
Starosta, Štěpán
2021.
Developments in Language Theory.
Vol. 12811,
Issue. ,
p.
217.
Roßkopf, Simon
and
Nipkow, Tobias
2023.
A Formalization and Proof Checker for Isabelle’s Metalogic.
Journal of Automated Reasoning,
Vol. 67,
Issue. 1,
Discussions
No Discussions have been published for this article.