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.
Filters
Introducing the Haskell equational reasoning assistant
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
Preserved Fulltext
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
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 2011; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
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 2013; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
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 2011; you can also visit the original URL.
The file type is application/pdf.
, 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
2007
Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III
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 2008; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
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 2008; you can also visit the original URL.
The file type is application/pdf.
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
2006
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 2008; you can also visit the original URL.
The file type is application/pdf.
, 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
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
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 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
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.
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
2006
Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06
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 2016; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang - ERLANG '06
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.
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
2006
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 2009; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06
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.
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