Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
32
views
70
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,933
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE
Comparing Approaches to Generic Programming in Haskell
other
Author(s):
Ralf Hinze
,
Johan Jeuring
,
Andres Löh
Publication date
(Print):
2007
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
Smart Contracts Programming Languages
Most cited references
70
Record
: found
Abstract
: not found
Article
: not found
Programs, life cycles, and laws of software evolution
M.M. Lehman
(1980)
0
comments
Cited
72
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A theory of type polymorphism in programming
Robin Milner
(1978)
0
comments
Cited
39
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The Zipper
Gérard Huet
(1997)
0
comments
Cited
28
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2007
Pages
: 72-149
DOI:
10.1007/978-3-540-76786-2_2
SO-VID:
a88e7de5-3c43-41da-b5f2-e45e46d8ddb6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1234
A Decentralized Strategy for Genetic Scheduling in Heterogeneous Environments
pp. 22
Offline Signature Verification Using Local Interest Points and Descriptors
pp. 24
Secure Management of IoT Devices Based on Blockchain Non-fungible Tokens and Physical Unclonable Functions
pp. 25
Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering
pp. 25
Application of the Generic Feature Selection Measure in Detection of Web Attacks
pp. 53
Text Categorization Using Weight Adjusted k-Nearest Neighbor Classification
pp. 58
Object Constraint Language (OCL): A Definitive Guide
pp. 72
Comparing Approaches to Generic Programming in Haskell
pp. 89
Evaluating Team Performance at the Edge of Chaos
pp. 100
A Memory Model Based on the Siamese Network for Long-Term Tracking
pp. 150
Capsule Networks Against Medical Imaging Data Challenges
pp. 189
Modeling Prey-Predator Dynamics via Particle Swarm Optimization and Cellular Automata
pp. 231
Using Affinity Diagrams to Evaluate Interactive Prototypes
pp. 239
Communication for Goal Directed Agents
pp. 246
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
pp. 259
Virtual Reality Integration with Force Feedback in Upper Limb Rehabilitation
pp. 263
Heartbeat Jenga: A Biofeedback Board Game to Improve Coordination and Emotional Control
pp. 346
Generalized Hand Gesture Recognition for Wearable Devices in IoT: Application and Implementation Challenges
pp. 443
The Marabou Framework for Verification and Analysis of Deep Neural Networks
pp. 514
Levels of Details for Gaussian Mixture Models
pp. 565
PReMVOS: Proposal-Generation, Refinement and Merging for Video Object Segmentation
pp. 1613
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
Similar content
3,933
Compiling Signal Processing Code embedded in Haskell via LLVM
Authors:
Henning Thielemann
Bridging the gulf : a common intermediate language for ML and Haskell
Authors:
Simon Peyton Jones
,
Mark Shields
,
John Launchbury
…
Statically typed linear algebra in Haskell
Authors:
Frederik Eaton
See all similar
Cited by
7
Generic Programming with Multiple Parameters
Authors:
José Pedro Magalhães
Effective strategic programming for Java developers
Authors:
Antoine Reilles
,
Pierre-Etienne Moreau
,
Emilie Balland
Datatype-Generic Programming
Authors:
Jeremy Gibbons
See all cited by