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.
Nipkow, Tobias
1998.
Winskel is (almost) Right: Towards a Mechanized Semantics Textbook.
Formal Aspects of Computing,
Vol. 10,
Issue. 2,
p.
171.
Hongseok Yang
and
Huang, H.
1998.
Type reconstruction for syntactic control of interference. 2.
p.
164.
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.
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.
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.
Martínez López, Pablo E.
and
Hughes, John
2002.
Principal type specialisation.
p.
94.
Neubauer, Matthias
Thiemann, Peter
Gasbichler, Martin
and
Sperber, Michael
2002.
Functional logic overloading.
p.
233.
Neubauer, Matthias
and
Thiemann, Peter
2002.
Type classes with more higher-order polymorphism.
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.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
179.
Neubauer, Matthias
and
Thiemann, Peter
2003.
Discriminative sum types locate the source of type errors.
p.
15.
Neubauer, Matthias
and
Thiemann, Peter
2003.
Discriminative sum types locate the source of type errors.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 9,
p.
15.
Hongwei Xi
2003.
Facilitating program verification with dependent types.
p.
72.