Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Frank, Andrew U.
and
Kuhn, Werner
1995.
Advances in Spatial Databases.
Vol. 951,
Issue. ,
p.
184.
Hall, Cordelia V.
Hammond, Kevin
Peyton Jones, Simon L.
and
Wadler, Philip L.
1996.
Type classes in Haskell.
ACM Transactions on Programming Languages and Systems,
Vol. 18,
Issue. 2,
p.
109.
Zenger, Christoph
1997.
Indexed types.
Theoretical Computer Science,
Vol. 187,
Issue. 1-2,
p.
147.
Hongseok Yang
and
Huang, H.
1998.
Type reconstruction for syntactic control of interference. 2.
p.
164.
Nipkow, Tobias
1998.
Winskel is (almost) Right: Towards a Mechanized Semantics Textbook.
Formal Aspects of Computing,
Vol. 10,
Issue. 2,
p.
171.
Frank, Andrew U.
1999.
Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science.
Vol. 1661,
Issue. ,
p.
95.
Camarão, Carlos
and
Figueiredo, Lucília
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
37.
Jeffery, D.
Henderson, F.
and
Somogyi, Z.
1999.
Type classes in Mercury.
p.
128.
Lewis, Jeffrey R.
Launchbury, John
Meijer, Erik
and
Shields, Mark B.
2000.
Implicit parameters.
p.
108.
Frank, Andrew U.
2001.
Tiers of ontology and consistency constraints in geographical information systems.
International Journal of Geographical Information Science,
Vol. 15,
Issue. 7,
p.
667.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 3,
p.
261.
Shields, Mark
and
Meijer, Erik
2001.
Type-indexed rows.
p.
261.
Neubauer, Matthias
and
Thiemann, Peter
2002.
Type classes with more higher-order polymorphism.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
179.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Neubauer, Matthias
and
Thiemann, Peter
2002.
Type classes with more higher-order polymorphism.
p.
179.
Neubauer, Matthias
Thiemann, Peter
Gasbichler, Martin
and
Sperber, Michael
2002.
Functional logic overloading.
p.
233.
Martínez López, Pablo E.
and
Hughes, John
2002.
Principal type specialisation.
p.
94.
Frank, Andrew U.
2003.
Spatio-Temporal Databases.
Vol. 2520,
Issue. ,
p.
9.
Neubauer, Matthias
and
Thiemann, Peter
2003.
Discriminative sum types locate the source of type errors.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 9,
p.
15.
Neubauer, Matthias
and
Thiemann, Peter
2003.
Discriminative sum types locate the source of type errors.
p.
15.