Filters








79 Hits in 3.5 sec

Introducing the Haskell equational reasoning assistant

Andy Gill
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial  ...  Figure 1 : 1 HERA's Ajax Based Interface Copyright is held by the author/owner(s).Haskell'06 September 17, 2006, Portland, Oregon, USA. ACM 1-59596-489-8/06/0009.  ...  Haskell Rewrites in Haskell HERA uses the Haskell AST used by Template Haskell [6] , and provides three mechanisms for specifying rewrites.  ... 
doi:10.1145/1159842.1159856 dblp:conf/haskell/Gill06 fatcat:wjn7obor4bgi7harlwhkv37o2e

GenI

Eric Kow
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
In this article we present GenI, a chart based surface realisation tool implemented in Haskell.  ...  Rather, we will focus on the aspects of functional programming (higher order functions, monads) and Haskell (typeclasses) that we found important to its design.  ...  , Oregon, USA.  ... 
doi:10.1145/1159842.1159858 dblp:conf/haskell/Kow06 fatcat:lauajeggpveizn5oosamrrugau

An extensible dynamically-typed hierarchy of exceptions

Simon Marlow
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
In this paper we address the lack of extensibility of the exception type in Haskell.  ...  Haskell'06 September 17, 2006, Portland, Oregon, USA.  ...  Introduction Exceptions have been evolving in the context of Haskell since their introduction in Haskell 1.3. We start with a brief history of exceptions in Haskell.  ... 
doi:10.1145/1159842.1159854 dblp:conf/haskell/Marlow06 fatcat:bkuh6tnwvngjnjeavhtlwxfg2e

Running the manual

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
, Oregon, USA.  ...  Copyright c 2006 ACM 1-59593-489-8/06/0009. . . $5.00.  ... 
doi:10.1145/1159842.1159850 dblp:conf/haskell/DerrinEKCC06 fatcat:nh5qqsypond4pdp4du3bvolvxi

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
The members of the Haskell Committee played a particularly important role, however.  ...  9 @ " A 2& % 1 5 ( B 5 % C E D ) ¦& ) 5 8 " Introduction "In September of 1987 a meeting was held at the conference on Functional Programming Languages and Computer Architecture in Portland, Oregon,  ...  That event happened in the fall of '87, when Peyton Jones stopped at Yale to see Hudak on his way to the 1987 Functional Programming and Computer Architecture Conference (FPCA) in Portland, Oregon.  ... 
doi:10.1145/1238844.1238856 dblp:conf/hopl/HudakHJW07 fatcat:7i7s3ivrkzhotgoyvjnxcjglxu

Strongly typed memory areas programming systems-level data structures in a functional language

Iavor S. Diatchki, Mark P. Jones
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
However, in our efforts to use Haskell for systems programming tasksincluding device driver and operating system construction-we have also encountered some significant gaps in functionality.  ...  In this paper, we describe how we have filled one of these gaps by extending a Haskell-like language with facilities for working directly with low-level, memory-based data structures.  ...  We would like to thank Thomas Hallgren, Andrew Tolmach, and Rebekah Leslie for many useful discussions and for their enthusiasm for writing operating systems in Haskell.  ... 
doi:10.1145/1159842.1159851 dblp:conf/haskell/DiatchkiJ06 fatcat:yvgq3x3hvfev7laog6eayb5tyi

Transactional events

Kevin Donnelly, Matthew Fluet
2006 SIGPLAN notices  
, Oregon, USA.  ...  Copyright c 2006 ACM 1-59593-309-3/06/0009. . . $5.00.  ... 
doi:10.1145/1160074.1159821 fatcat:ymdyixczyjgirctmgf26x6y4xq

There is no impedance mismatch

Erik Meijer
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
OOPSLA'06, October 22-26, 2006, Portland, Oregon, USA. ACM 1-59593-491-X/06/0010.  ...  Constructing complex object instances using expressions should be familiar to anyone that has used functional languages with algebraic data types such as Haskell or SML or JavaScript with object literals  ... 
doi:10.1145/1176617.1176686 dblp:conf/oopsla/Meijer06 fatcat:5dpphyyvofc63mmeev6a4pb4mu

Generating generic functions

Johan Jeuring, Alexey Rodriguez, Gideon Smeding
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06  
Generic Haskell is an extension of Haskell that supports the definition of datatype-generic functions.  ...  In this paper, we propose a procedure for the generation of generic functions in Generic Haskell [18] .  ...  WGP'06 September 16, 2006, Portland, Oregon, USA. Copyright c 2006 ACM 1-59593-492-6/06/0009. . . $5.00.  ... 
doi:10.1145/1159861.1159865 dblp:conf/icfp/JeuringRS06 fatcat:as2z4i76jzfubinexjgznm6tx4

Core-java

Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
2006 Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
OOPSLA'06 October 22-26, 2006, Portland, Oregon, USA. ACM 1-59593-491-X/06/0010.  ...  Conclusion and Future Work We have implemented the translator in Haskell and we used it to help two analyses: a region inference for Java [3] and a typechecker of a variant parametric type system for  ... 
doi:10.1145/1176617.1176650 dblp:conf/oopsla/CraciunGPC06 fatcat:jskj46toazawllnzs2ucvi2yea

Software extension and integration with type classes

Ralf Lämmel, Klaus Ostermann
2006 Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06  
We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell.  ...  Acknowledgments We thank the GPCE 2006 referees for their fair and insightful comments and requests. We acknowledge discussions with Vesa Karvonen and Oleg Kiselyov.  ...  GPCE'06 October 22-26, 2006, Portland, Oregon, USA.  ... 
doi:10.1145/1173706.1173732 dblp:conf/gpce/LammelO06 fatcat:kbrikvuvp5a57mfz5du6dhfope

Good advice for type-directed programming aspect-oriented programming and extensible generic functions

Geoffrey Washburn, Stephanie Weirich
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06  
However, Lämmel and Peyton Jones recently developed a technique for writing openly extensible type-directed functions in Haskell by making clever use of type classes.  ...  WGP'06 September 16, 2006, Portland, Oregon, USA. Copyright c 2006 ACM 1-59593-492-6/06/0009. . . $5.00 Figure 1 . 1 AspectML syntax. Optional annotations are in math square brackets.  ...  Generic programming The research on Generic Haskell [18] is related to our work on AspectML in many ways. However, Generic Haskell has a number of limitations in comparison to AspectML.  ... 
doi:10.1145/1159861.1159867 dblp:conf/icfp/WashburnW06 fatcat:ucv7oc4hazfypcthnscoewh3y4

Testing telecoms software with quviq QuickCheck

Thomas Arts, John Hughes, Joakim Johansson
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06  
Quviq QuickCheck is a property-based testing tool, developed from Claessen and Hughes' earlier QuickCheck tool for Haskell [3] and a re-design for Erlang [2] .  ...  Erlang'06 September 16, 2006, Portland, Oregon, USA. Copyright c 2006 ACM 1-59593-490-1/06/0009. . . $5.00.  ...  QuickCheck depends heavily on lazy evaluation, which is available "for free" in Haskell, but must be explicitly simulated in Erlang.  ... 
doi:10.1145/1159789.1159792 dblp:conf/erlang/ArtsHJW06 fatcat:xzt6kcjfavesljso7ifvvczm2e

Delimited dynamic binding

Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
2006 SIGPLAN notices  
We use this translation to implement DB + DC in Scheme, OCaml, and Haskell.  ...  ICFP'06 September 16-21, 2006, Portland, Oregon, USA. Copyright c 2006 ACM 1-59593-309-3/06/0009. . . $5.00.  ...  We have also embedded the full DB language in OCaml and Haskell.  ... 
doi:10.1145/1160074.1159808 fatcat:noiynvf6s5honbvc2mm3ccyfsu

A multi-stage language with intensional analysis

Marcos Viera, Alberto Pardo
2006 Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06  
USA.  ...  Since the evaluation function has a case defined for any well-typed term, the Ωmega implementation of the semantics showed that the evaluation of well-typed terms doesn't go wrong. , Portland, Oregon,  ... 
doi:10.1145/1173706.1173709 dblp:conf/gpce/VieraP06 fatcat:vhrfm6xco5hkzkx2lrur6wxshy
« Previous Showing results 1 — 15 out of 79 results