A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Comparing libraries for generic programming in haskell
2009
SIGPLAN notices
Preserved Fulltext
The comparison is useful for reaching a common standard for generic programming, but also for a programmer who has to choose a particular approach for datatype-generic programming. 2 2008/4/24 ...
There are more than 10 proposals for generic programming libraries or language extensions for Haskell. ...
This research has been partially funded by the Netherlands Organisation for Scientific Research (NWO), via the Real-life Datatype-Generic programming project, project nr. 612.063.613. ...
doi:10.1145/1543134.1411301
fatcat:2vz7c6glqzginhvst6ho4aahrq
Improving the performance of MPI derived datatypes by optimizing memory-access cost
2003
Proceedings IEEE International Conference on Cluster Computing CLUSTR-03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a technique for improving the performance of derived datatypes by automatically using packing algorithms that are optimized for memory-access cost. ...
We present performance results for a matrix-transpose example that demonstrate that our implementation of derived datatypes significantly outperforms both manual packing by the user and the existing derived-datatype ...
Government retains for itself, and others acting on its behalf, a paid-up, nonexclusive, irrevocable worldwide license in said article to reproduce, prepare derivative works, distribute copies to the public ...
doi:10.1109/clustr.2003.1253341
dblp:conf/cluster/BynaGST03
fatcat:75qdqdsetjhcbhhuael5cv3qh4
Libraries for Generic Programming in Haskell
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These lecture notes introduce libraries for datatype-generic programming in Haskell. ...
In the case studies for the different libraries we introduce generic components of a medium-sized application which assists a student in solving mathematical exercises. ...
This work has been partially funded by the Netherlands Organisation for Scientific Research (NWO), via the Real-life Datatype-Generic programming project, project nr. 612.063.613, and by the Portuguese ...
doi:10.1007/978-3-642-04652-0_4
fatcat:wf35im45g5akvc3frcqtqk67ra
Optimizing generics is easy!
2010
Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Several generic programming libraries for Haskell have been developed in the past few years. ...
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. ...
(NWO) through its projects on "Scriptable Compilers" (612.063.406) and "Real-life Datatype-Generic programming" (612.063.613). ...
doi:10.1145/1706356.1706366
dblp:conf/pepm/MagalhaesHJL10
fatcat:4ek6oe7z5rat7chn44ambuqg3e
Writing Parallel Libraries with MPI - Common Practice, Issues, and Extensions
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We discuss principles for programming parallel libraries, show several successful library implementations, and introduce a taxonomy for existing parallel libraries. ...
Finally, we conclude with a discussion of state-of-the art of parallel library programming and we provide some guidelines for library designers. ...
The library offers a high-level application oriented interface which is close to a domain-specific language for such simulations. It offers support for advanced functions of MPI. ...
doi:10.1007/978-3-642-24449-0_45
fatcat:upeovg4r2vgkxhtdnbrrkwc6o4
Citations for the Test-of-Time Award from 2001
2021
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
It has also impacted publicly available tools such as LiquidHaskell, a library for general purpose programs in Haskell. ...
Thus, it advances the hope of incorporating the rich body of literature on proving termination into a realistic functional programming language. ...
It has also impacted publicly available tools such as LiquidHaskell, a library for general purpose programs in Haskell. ...
doi:10.1109/lics52264.2021.9470625
fatcat:d5wvbkq67jcoza6ss4kaidn5ei
A Flexible Dynamic Data Structure for Scientific Computing
[chapter]
2013
Lecture Notes in Electrical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our concept for associating meta-information with the data structure as well as different underlying datatypes is depicted. ...
We present an approach for a generic, multi-dimensional run-time data structure suitable for high-performance scientific computing in C++. ...
In this work we do not focus on advanced functionality, as, for example, provided by the Marray library. ...
doi:10.1007/978-94-007-6190-2_43
fatcat:lqjfsxpqmfhqfkkfowtlx4upai
Generic Generic Programming
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Generic programming (GP) is a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes. ...
Library writers can define their approach as a conversion from our library, obviating the need for writing metaprogramming code for generation of conversions to and from the generic representation. ...
We thank Nicolas Wu for suggesting the title of this paper, and Sean Leather for encouraging us to include multirec in our considerations. ...
doi:10.1007/978-3-319-04132-2_15
fatcat:zyli2z55irfwpmm2rc3mx6acwy
The visitor pattern as a reusable, generic, type-safe component
2008
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show how to capture the essence of the VISITOR pattern as a reusable software library, by using advanced type system features appearing in modern object-oriented languages such as Scala. ...
Finally, we propose a generalised datatype-like notation, providing a convenient functional decomposition style in object-oriented languages. ...
Programming with the Visitor Library
A Datatype Notation for Visitors Inspired by datatype declarations from functional programming languages, we introduce a succinct data-like notation as syntactic ...
doi:10.1145/1449955.1449799
fatcat:zfjq6e2arzb57imrifnwbixvfu
The visitor pattern as a reusable, generic, type-safe component
2008
Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We show how to capture the essence of the VISITOR pattern as a reusable software library, by using advanced type system features appearing in modern object-oriented languages such as Scala. ...
Finally, we propose a generalised datatype-like notation, providing a convenient functional decomposition style in object-oriented languages. ...
Programming with the Visitor Library
A Datatype Notation for Visitors Inspired by datatype declarations from functional programming languages, we introduce a succinct data-like notation as syntactic ...
doi:10.1145/1449764.1449799
dblp:conf/oopsla/OliveiraWG08
fatcat:vyygr34yvjclvaonxw3e6ygmn4
Scala for generic programmers
2008
Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Common Haskell techniques for datatype-generic programming can be conveniently replicated in Scala, whereas the extra expressivity provides some important additional benefits in terms of extensibility ...
Finally, we present three case studies on how to implement in Scala real datatype-generic programming approaches from the literature: Hinze's 'Generics for the Masses', Lämmel and Peyton Jones's 'Scrap ...
Some of the material from this paper is partly based on the first author's DPhil thesis (Oliveira, 2007, Chapters 2 and 4); particular thanks are due to the DPhil examiners Ralf Hinze and Martin Odersky for ...
doi:10.1145/1411318.1411323
dblp:conf/icfp/OliveiraG08
fatcat:zu5cic2mzfhyfpmjcn3msbwwze
MARMOT: An MPI analysis and checking tool
[chapter]
2004
Advances in Parallel Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The Message Passing Interface (MPI) is widely used to write parallel programs using message passing. MARMOT is a tool to aid in the development and debugging of MPI programs. ...
Examples are the introduction of irreproducibility, deadlocks and incorrect management of resources like communicators, groups, datatypes and operators. ...
Introduction Due to the complexity of parallel programming, there is a clear need for debugging of MPI programs. According to our experience, there are several reasons for this. ...
doi:10.1016/s0927-5452(04)80063-7
fatcat:nlrqrfubwnai7incegw6mspgtu
Processing MPI Datatypes Outside MPI
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The MPI datatype functionality provides a powerful tool for describing structured memory and file regions in parallel applications, enabling noncontiguous data to be operated on by MPI communication and ...
We present MPITypes, an open source, portable library that enables the construction of efficient MPI datatype processing routines outside the MPI implementation. ...
Government retains for itself, and others acting on its behalf, a paid-up, nonexclusive, irrevocable worldwide license in said article to reproduce, prepare derivative works, distribute copies to the public ...
doi:10.1007/978-3-642-03770-2_11
fatcat:t4pafeyftffe7nu7tfsvi5swyu
A generic deriving mechanism for Haskell
2010
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a new approach to Haskell's deriving mechanism, which allows users to specify how to derive arbitrary class instances using standard datatype-generic programming techniques. ...
Haskell's deriving mechanism supports the automatic generation of instances for a number of functions. ...
We thank Thomas van Noort and the anonymous reviewers for their helpful feedback. ...
doi:10.1145/2088456.1863529
fatcat:fo3u6auvavbyva7aid4ql4wxu4
A generic deriving mechanism for Haskell
2010
Proceedings of the third ACM Haskell symposium on Haskell - Haskell '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a new approach to Haskell's deriving mechanism, which allows users to specify how to derive arbitrary class instances using standard datatype-generic programming techniques. ...
Haskell's deriving mechanism supports the automatic generation of instances for a number of functions. ...
We thank Thomas van Noort and the anonymous reviewers for their helpful feedback. ...
doi:10.1145/1863523.1863529
dblp:conf/haskell/MagalhaesDJL10
fatcat:hq7uk2frqfe5lndyjaewordzji
« Previous
Showing results 1 — 15 out of 5,054 results