Filters








5,054 Hits in 5.6 sec

Comparing libraries for generic programming in haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2009 SIGPLAN notices  
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

Byna, Gropp, Xian-He Sun, Thakur
2003 Proceedings IEEE International Conference on Cluster Computing CLUSTR-03  
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]

Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev
2009 Lecture Notes in Computer Science  
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!

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2010 Proceedings of the ACM SIGPLAN 2010 workshop on Partial evaluation and program manipulation - PEPM '10  
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]

Torsten Hoefler, Marc Snir
2011 Lecture Notes in Computer Science  
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)  
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]

Josef Weinbub, Karl Rupp, Siegfried Selberherr
2013 Lecture Notes in Electrical Engineering  
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]

José Pedro Magalhães, Andres Löh
2014 Lecture Notes in Computer Science  
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

Bruno C.d.S. Oliveira, Meng Wang, Jeremy Gibbons
2008 SIGPLAN notices  
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

Bruno C.d.S. Oliveira, Meng Wang, Jeremy Gibbons
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
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

Bruno C.d.S. Oliveira, Jeremy Gibbons
2008 Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08  
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]

B. Krammer, K. Bidmon, M.S. Müller, M.M. Resch
2004 Advances in Parallel Computing  
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]

Robert Ross, Robert Latham, William Gropp, Ewing Lusk, Rajeev Thakur
2009 Lecture Notes in Computer Science  
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

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010 SIGPLAN notices  
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

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010 Proceedings of the third ACM Haskell symposium on Haskell - Haskell '10  
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