Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
80
views
14
references
Top references
cited by
26
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,360
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
First-Class Type Classes
other
Author(s):
Matthieu Sozeau
,
Nicolas Oury
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
De Gruyter Materials Science
Most cited references
14
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Principal type-schemes for functional programs
Robin Milner
,
Luís Damas
(1982)
0
comments
Cited
55
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
How to make ad-hoc polymorphism less ad hoc
S Blott
,
P. Wadler
(1989)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Type classes and overloading in higher-order logic
Markus Wenzel
(1997)
0
comments
Cited
17
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2008
Pages
: 278-293
DOI:
10.1007/978-3-540-71067-7_23
SO-VID:
9622b698-a95e-4448-87e9-d5d36e5b79f6
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 278
First-Class Type Classes
Similar content
2,360
Metodologias e indicadores para avaliação da capacidade funcional: análise preliminar do Suplemento Saúde da Pesquisa Nacional por Amostra de - Domicílios PNAD, Brasil, 2003
Translated title: Methods and measures for the evaluation of functional capacity: a preliminary analysis based on the National Household Sample Survey Health Interviews - PNAD, Brazil, 2003
Authors:
Antonio José Leal Costa
Fatores associados à experimentação do cigarro em adolescentes
Translated title: Factors associated with cigarette experimentation among adolescents
Authors:
Maristela Prado e Silva
,
Regina Maria Veras Gonçalves da Silva
,
Clovis Botelho
A potential role for T-type calcium channels in homocysteinemia-induced peripheral neuropathy
Authors:
Aisylu Gaifullina
,
Joanna Lazniewska
,
Elena Gerasimova
…
See all similar
Cited by
26
Type classes for mathematics in type theory
Authors:
BAS SPITTERS
,
EELIS VAN DER WEEGEN
Point-Free, Set-Free Concrete Linear Algebra
Authors:
Georges Gonthier
A Refinement-Based Approach to Computational Algebra in Coq
Authors:
Maxime Dénès
,
Anders Mörtberg
,
Vincent Siles
See all cited by