spl's haskell [104 articles] Export

Recent papers added to spl's library classified by the tag haskell. You can also see everyone's haskell.

	Lazy Functional State Threads [My Copy] In PLDI 1994, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to rank-2-polymorphism parametric-polymorphism non-strict-evaluation mutability monads haskell concurrency by spl on 2009-11-03 17:28:53 as along with 8 people and 2 groups ama08r fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Associated type synonyms [My Copy] In ICFP 2005 (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones posted to type-families type-classes haskell functional-dependencies associated-types by spl on 2009-11-03 17:22:40 as along with 6 people and 1 group conal greenrd yallop kinaba voigt americovargas SRG_at_UCD
	Template Meta-programming for Haskell [My Copy] In Haskell 2002 (2002), pp. 1-16. by Tim Sheard, Simon L. Peyton Jones posted to template-haskell submit-incremental submit-gdiff metaprogramming haskell by spl on 2009-11-03 17:05:46 as along with 8 people and 1 group samth twleung dherman JacquesC ryanc bringert wtribbey jimburton NU-PRL
	Fun with type functions [My Copy] (2 July 2009) by Oleg Kiselyov, Simon L. Peyton Jones, Chung-chieh Shan posted to type-functions type-families session-types printf phantom-types memoization haskell graph ghc generics finite-maps associated-types by spl on 2009-09-12 16:58:02 as
	Experience Report: seL4: Formally Verifying a High-Performance Microkernel [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96. by Gerwin Klein, Philip Derrin, Kevin Elphinstone posted to verification proofs operating-systems isabelle hol haskell c by spl on 2009-09-07 11:21:10 as along with 1 person pedagand
	Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell [My Copy] In ICFP 2009 (2009), pp. 245-256. by Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra posted to submit-incremental haskell combinators attribute-grammars aspect-oriented-programming by spl on 2009-09-07 11:15:04 as along with 1 person pedagand
	Why Attribute Grammars Matter [My Copy] The Monad.Reader, Vol. 4 (5 July 2005) by Wouter Swierstra edited by Shae Erisson posted to uuag submit-incremental lazy-evaluation haskell functional-programming attribute-grammars by spl on 2009-08-08 14:38:11 as
	Scripting XML with Generic Haskell [My Copy] In 7th Brazilian Symposium on Programming Languages, SBLP 2003 (2003) by Frank Atanassow, Dave Clarke, Johan Jeuring posted to compression datatype-generic generic-haskell generics haskell xml by spl on 2009-08-07 11:38:15 as
	Functional Pearl: A program to solve Sudoku [My Copy] Journal of Functional Programming, Vol. 16, No. 06. (2006), pp. 671-679. by Richard Bird posted to haskell program-calculation by spl on 2009-08-04 11:27:38 as
	A lightweight approach to datatype-generic rewriting [My Copy] In WGP 2008 (2008), pp. 13-24. by Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren posted to submit-incremental rewriting lightweight haskell generics datatype-generic by spl on 2009-06-20 11:09:17 as
	Formatting: a class act [My Copy] Journal of Functional Programming, Vol. 13, No. 05. (2003), pp. 935-944. by Ralf Hinze posted to unparsers printf parsers haskell functors formatting continuations by spl on 2009-06-19 12:41:42 as
	The worker/wrapper transformation [My Copy] Journal of Functional Programming, Vol. 19, No. 02. (2009), pp. 227-251. by Andy Gill, Graham Hutton posted to haskell performance program-transformation worker-wrapper by spl on 2009-05-08 00:29:56 as along with 2 people thegoose shivak
	Haskell 98 Language and Libraries: The Revised Report [My Copy] Journal of Functional Programming, Vol. 1 (January 2003) edited by Simon L. Peyton Jones posted to haskell libraries by spl on 2009-05-05 13:56:08 as
	Purely Functional Implementation of Attribute Grammars [My Copy] (9 December 1999) by João A. Saraiva posted to attribute-grammars deforestation generics grammars haskell higher-order-functions incremental memoization repmin thesis traversals by spl on 2009-04-21 10:45:48 as
	Implementation of Programming Languages [My Copy] (3 November 2004) by Utrecht University posted to type-checking syntax-directed program-transformation parsers implementation haskell compilers combinators attribute-grammars by spl on 2009-04-20 15:21:41 as
	Generic Discrimination: Sorting and Paritioning Unshared Data in Linear Time [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102. by Fritz Henglein posted to sorting haskell generics gadts equivalence discrimination combinators algorithms by spl on 2009-04-20 13:32:38 as along with 4 people brothers jkominek jimburton JeffreyPalmer
	Typed Contracts for Functional Programming [My Copy] Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225. by Ralf Hinze, Johan Jeuring, Andres Löh posted to combinators contracts domain-specific-languages gadts haskell higher-order-functions sorting type-safety by spl on 2009-04-14 15:27:25 as along with 4 people and 1 group Scis0000002 greenrd craigtalbert jpbernardy SRG_at_UCD
	The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages [My Copy] Implementation of Functional Languages (1997), pp. 58-84. by Urban Boquist, Thomas Johnsson posted to compilers graph-reduction haskell intermediate-language lazy-evaluation optimization by spl on 2009-04-12 14:23:41 as along with 1 person Lemmih
	Categorical Programming with Inductive and Coinductive Types [My Copy] (2000) by Varmo Vene posted to algebra apomorphism catamorphism category-theory coalgebra coinductive-types corecursion futumorphism haskell histomorphism inductive-types paramorphism recursion thesis by spl on 2009-04-11 13:44:35 as
	ML Modules and Haskell Type Classes: A Constructive Comparison [My Copy] Programming Languages and Systems (2008), pp. 188-204. by Stefan Wehr, Manuel Chakravarty posted to haskell ml modularity type-classes by spl on 2009-04-08 16:12:31 as
	Secrets of the Glasgow Haskell Compiler inliner [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 393-434. by Simon L. Peyton Jones, Simon Marlow posted to optimization inlining haskell ghc compilers by spl on 2009-04-08 14:54:19 as
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (Fall 2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted to catamorphism comonads haskell histomorphism recursion zygomorphism by spl on 2009-04-02 21:59:31 as along with 3 people and 1 group greenrd zednenem EdwardKmett SRG_at_UCD
	Functional Polytypic Programming [My Copy] (May 2000) by Patrik Jansson posted to datatype-generic functional-programming generics haskell polyp thesis by spl on 2009-04-02 13:59:22 as
	Codata and Comonads in Haskell [My Copy] (1999) by Richard B. Kieburtz posted to abstract-datatypes codata comonads haskell input-output monads streams by spl on 2009-04-01 12:35:00 as along with 1 person michiexile
	Flask: Staged Functional Programming for Sensor Networks [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted to domain-specific-languages embedded-systems functional-reactive haskell metaprogramming by spl on 2009-04-01 10:31:23 as
	The Holumbus Framework: Creating scalable and highly customized crawlers and indexers [My Copy] (4 September 2008) by Sebastian M. Schlatt posted to distributed-computing frameworks haskell holumbus search-engine thesis web by spl on 2009-03-26 21:59:21 as
	The Holumbus Framework: Creating fast, ﬂexible and highly customizable search engines with Haskell [My Copy] (8 April 2008) by Timo B. Hübel posted to data-mining distributed-computing frameworks haskell holumbus search-engine thesis web by spl on 2009-03-26 21:46:47 as
	The Holumbus Framework: Distributed computing with MapReduce in Haskell [My Copy] (26 February 2009) by Stefan Schmidt posted to distributed-computing frameworks haskell holumbus mapreduce thesis by spl on 2009-03-26 21:44:19 as
	GOFFIN: Higher-order functions meet concurrent constraints [My Copy] Science of Computer Programming, Vol. 30, No. 1-2. (January 1998), pp. 157-199. by Manuel M. Chakravarty posted to concurrency constraint-programming goffin haskell parallel-programming by spl on 2009-03-25 16:02:02 as
	Distributed Haskell: Goffin on the Internet [My Copy] In Third Fuji International Symposium on Functional and Logic Programming (1998), pp. 80-97. by Manuel M. T. Chakravarty, Yike Guo, Martin Köhler edited by M. Sato, Y. Toyama posted to concurrency constraint-programming distributed-computing goffin haskell parallel-programming ports by spl on 2009-03-25 15:39:25 as
	Comonadic functional attribute evaluation [My Copy] Trends in Functional Programming 6 (2007), pp. 145-162. by Tarmo Uustalu, Varmo Vene edited by Marko van Eekelen posted to zipper submit-incremental streams incremental haskell dataflow comonads attribute-grammars by spl on 2009-03-23 20:44:27 as along with 5 people and 2 groups dherman greenrd jrw zednenem EdwardKmett NU-PRL SRG_at_UCD
	Erlang-style Distributed Haskell [My Copy] In In Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages, September 7th 10th (1999) by Frank Huch posted to distributed-computing erlang haskell libraries by spl on 2009-03-20 23:42:42 as
	Distributed Programming in Haskell with Ports [My Copy] Implementation of Functional Languages (2001), pp. 107-121. by Frank Huch, Ulrich Norbisrath posted to concurrency distributed-computing erlang haskell ports by spl on 2009-03-20 21:06:51 as
	"Scrap Your Boilerplate" Reloaded [My Copy] Functional and Logic Programming (2006), pp. 13-29. by Ralf Hinze, Andres Löh, Bruno posted to datatype-generic gadts generics haskell spine-view syb views by spl on 2009-03-18 21:20:49 as along with 1 person americovargas
	"Scrap Your Boilerplate" Revolutions [My Copy] Mathematics of Program Construction (2006), pp. 180-208. by Ralf Hinze, Andres Löh posted to datatype-generic generics haskell spine-view syb views by spl on 2009-03-18 21:16:06 as along with 1 person bringert
	Scrap Your Boilerplate With Class: Extensible Generic Functions [My Copy] In ICFP 2005 (2005), pp. 204-215. by Ralf Lämmel, Simon L. Peyton Jones posted to datatype-generic extensibility generics haskell syb type-classes by spl on 2009-03-18 21:07:30 as along with 8 people mkis hamish yallop bec voigt kavabean lomeo americovargas
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDI 2003, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf Lämmel, Simon L. Peyton Jones posted to datatype-generic design-patterns generics haskell syb by spl on 2009-03-18 21:04:13 as along with 5 people and 2 groups mkis samth greenrd yallop americovargas NU-PRL SRG_at_UCD
	A History of Haskell: Being Lazy with Class [My Copy] In HOPL III (2007) by Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler posted to haskell history by spl on 2009-03-17 14:46:44 as along with 4 people triampurum mthomure brecknell SamB
	Compiling Haskell by program transformation: A report from the trenches [My Copy] Programming Languages and Systems — ESOP '96 In ESOP 1996 (1996), pp. 18-44. by Simon L. Peyton Jones posted to compilers ghc haskell program-transformation by spl on 2009-03-14 15:08:15 as
	Haskell's overlooked object system [My Copy] (10 September 2005) by Oleg Kiselyov, Ralf Lämmel posted to haskell object-oriented-programming subtyping type-classes by spl on 2009-03-11 15:37:04 as
	Monadification of functional programs [My Copy] Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 101-129. by Martin Erwig, Deling Ren posted to haskell monads program-transformation by spl on 2009-03-11 15:12:44 as along with 2 people puzza keigoi
	A Comparative Study of Language Support for Generic Programming [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134. by Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to comparison cpp csharp eiffel generics haskell java ml programming-language by spl on 2009-03-11 09:59:36 as along with 2 people and 1 group dherman voigt NU-PRL
	Computational Semantics with Functional Programming [My Copy] by Jan van Eijck, Christina Unger posted to book functional-programming haskell lambda-calculus natural-language semantics by spl on 2009-03-10 15:03:15 as
	Language and Program Design for Functional Dependencies [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 87-98. by Mark P. Jones, Iavor S. Diatchki posted to databases functional-dependencies haskell relational type-classes type-families type-inference by spl on 2009-02-25 14:55:21 as
	A Pattern for Almost Compositional Functions [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 216-226. by Björn Bringert, Aarne Ranta posted to dependent-types gadts generics haskell inductive-type-families syb traversals by spl on 2009-02-05 12:57:59 as along with 1 person bringert
	Programmable Concurrency in a Pure and Lazy Language [My Copy] (August 2008) by Peng Li posted to concurrency continuations event-driven haskell multithreading thesis by spl on 2008-12-16 09:55:28 as
	Applicative programming with effects [My Copy] Journal of Functional Programming, Vol. 18, No. 01. (16 May 2007), pp. 1-13. by Conor Mcbride, Ross Paterson posted to applicative-functors arrows functors haskell monads by spl on 2008-11-28 15:59:54 as along with 3 people americovargas fgeller jpbernardy
	Foundations for Structured Programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to category-theory existential-quantification gadts haskell by spl on 2008-10-22 19:45:00 as along with 6 people and 1 group ama08r talototo draganigajic hellige msakai jimburton Lambda the Ultimate
	Haskell Is Not Not ML [My Copy] Programming Languages and Systems (2006), pp. 38-53. by Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones posted to compilers haskell intermediate-language ml non-strict-evaluation strict-evaluation von-neumann by spl on 2008-10-22 19:12:39 as along with 1 person ama08r
	Lightweight Concurrency Primitives for GHC [My Copy] In Haskell 2007 (2007), pp. 107-118. by Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew Tolmach posted to concurrency continuations ghc haskell libraries lightweight transactional-memory by spl on 2008-10-19 16:10:22 as

Note: You may cite this page as: http://www.citeulike.org/user/spl/tag/haskell

Result page: 1 2 3 Next

haskell	104
generics	55
functional-programming	38
datatype-generic	35
algorithms	28
submit-gdiff	28
trees	25
category-theory	23
submit-incremental	20
semantics	19
thesis	19
incremental	18
memoization	17
type-classes	16
edit-operations	15
attribute-grammars	14
diff	14
monads	14
pattern-matching	14
zipper	14
compilers	13
ml	12
catamorphism	11
combinators	11
dependent-types	11
lambda-calculus	11
program-calculation	11
book	10
distributed-computing	10
lazy-evaluation	10
non-strict-evaluation	10
recursion	10
data-structures	9
domain-specific-languages	9
fold	9
parallel-programming	9
program-transformation	9
type-indexed	9
generic-haskell	8
java	8
models	8
parsers	8
programming-language	8
type-inference	8
concurrency	7
editors	7
education	7
extensibility	7
functors	7
fusion	7
interpreters	7
libraries	7
parametric-polymorphism	7
performance	7
type-theory	7
unfold	7
version-control	7
algebra	6
databases	6
fixed-point	6
gadts	6
introduction	6
lightweight	6
longest-common-subsequence	6
optimization	6
ordered	6
streams	6
syb	6
traversals	6
type-checking	6
views	6
abstraction	5
anamorphism	5
comonads	5
comparison	5
expression-problem	5
generalization	5
ghc	5
grammars	5
higher-order-functions	5
homomorphism	5
implementation	5
input-output	5
lists	5
object-oriented-programming	5
program-behavior	5
software-engineering	5
survey	5
syntax-directed	5
web	5
c	4
call-by-name	4
change-detection	4
continuations	4
dataflow	4
design-patterns	4
dynamic-programming	4
formalization	4
frameworks	4
functional-dependencies	4
garbage-collection	4
graph-reduction	4
history	4
hol	4
hylomorphism	4
imperative-programming	4
induction	4
list-comprehensions	4
mixins	4
modularity	4
numbers	4
paramorphism	4
phantom-types	4
polyp	4
programming-environment	4
records	4
rewriting	4
tree-inclusion	4
tries	4
type-families	4
type-safety	4
unification	4
xml	4
abstract-datatypes	3
accuracy	3
adaptive	3
advice	3
agda	3
anti-unification	3
associated-types	3
bifunctors	3
call-by-need	3
call-by-value	3
codata	3
computer-science	3
cpp	3
deforestation	3
denotational-semantics	3
derivatives	3
emgm	3
epigram	3
equivalence	3
erlang	3
existential-quantification	3
file-comparison	3
floating-point	3
formatting	3
fp	3
hierarchical-structure	3
holumbus	3
hope	3
intermediate-language	3
mapreduce	3
metamodels	3
metaprogramming	3
miranda	3
model-driven-development	3
model-driven-engineering	3
monoids	3
ocaml	3
operational-semantics	3
phd	3
printf	3
proofs	3
rank-2-polymorphism	3
relational	3
set-theory	3
sorting	3
strict-evaluation	3
system-f	3
total-functions	3
verification	3
accumulations	2
advising	2
algol	2
antidiagonal	2
arrays	2
arrows	2
aspect-oriented-programming	2
boilerplate	2
categorical-logic	2
church	2
classicjava	2
clean	2
coalgebra	2
comprehensions	2
constraint-programming	2
crush	2
curry-howard-isomorphism	2
cyclic	2
data-mining	2
debuggers	2
deductive-databases	2
deriving	2
dynamically-typed	2
exponentials	2
finite-maps	2
free-theorems	2
functional-database-language	2
generators	2
global-variables	2
goffin	2
graph	2
hardware-description	2
haskelldb	2
histomorphism	2
implicit-parameters	2
isabelle	2
least-specific-generalization	2
lecture-notes	2
lenses	2
logic	2
mutual-recursion	2
natural-language	2
nested-datatypes	2
operating-systems	2
parametricity	2
pfl	2
physics	2
ports	2
program-slicing	2
rank-n-polymorphism	2
reflection	2
repmin	2
scheme	2
scripting	2
search-engine	2
sequence	2
sharing	2
software-build	2
software-product-lines	2
spine-view	2
sql	2
static-checking	2
strings	2
subtyping	2
template-haskell	2
theorem-proving	2
topology	2
transactional-memory	2
transpose	2
tutorial	2
universes	2
unordered	2
unparsers	2
von-neumann	2
zip	2
ad-hoc-polymorphism	1
alfa	1
apomorphism	1
applicative-functors	1
automata	1
backtracking	1
beta	1
bibliography	1
calculus-of-constructions	1
camera	1
circularity	1
clu	1
coinduction	1
coinductive-types	1
compression	1
computability	1
computational-design	1
computational-thinking	1
computer-architecture	1
containers	1
contracts	1
control-flow-graph	1
corecursion	1
cps	1
cryptol	1
csharp	1
data-description-language	1
de-bruijn-index	1
defunctionalization	1
dictionaries	1
difunctors	1
discrimination	1
dynamic-scoping	1
effect-types	1
eiffel	1
embedded-systems	1
equality	1
equational-reasoning	1
event-driven	1
exceptions	1
exclusions	1
fault-tolerance	1
feature-oriented-programming	1
ffi	1
free-variables	1
functional-reactive	1
function-spaces	1
futumorphism	1
galois-connections	1
godel	1
gofer	1
halting-problem	1
hash-consing	1
idl	1
impredicativity	1
inductive-type-families	1
inductive-types	1
inheritance	1
inlining	1
inversion	1
isar	1
javascript	1
jni	1
json	1
krc	1
latex	1
lattice-theory	1
ligd	1
lisp	1
logic-programming	1
machine-learning	1
management	1
manual	1
martin-lof	1
measurement	1
model-driven-architecture	1
modula	1
modules	1
multithreading	1
mutability	1
mutumorphism	1
natural-deduction	1
natural-numbers	1
normalization	1
np-complete	1
nuprl	1
obj	1
open	1
packrat-parsing	1
parametrized-modules	1
partial-functions	1
persistence	1
poetry	1
pragmatics	1
predicate-dispatch	1
prefix-sums	1
prepromorphism	1
pretty-printing	1
principal-type	1
reading	1
register-allocation	1
relfun	1
research	1
rfc	1
rounding	1
sawzall	1
security	1
semantic-web	1
sequent-calculus	1
serialization	1
session-types	1
shell	1
software-factories	1
standard	1
static-analysis	1
stl	1
strictly-positive	1
strictness-analysis	1
stupidity	1
system-t	1
taxonomy	1
testing	1
turing	1
type-functions	1
unboxed-values	1
undecidability	1
uuag	1
value-recursion	1
visitor-pattern	1
wobbly-types	1
worker-wrapper	1
zygomorphism	1

spl's haskell [104 articles] Export

spl's tags