zednenem's haskell [50 articles] Export

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

	1 [My Copy] by John Launchbury, Ross Paterson posted to haskell lazy-evaluation unboxed-types by zednenem on 2009-03-02 15:39:19 as
	Dictionary-free overloading by partial evaluation [My Copy] In In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (1994), pp. 107-117. by Mark P. Jones posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as
	Embedding Prolog In Haskell [My Copy] by Michael Spivey, Silvija Seres posted to haskell logic-programming by zednenem on 2008-08-26 05:06:09 as along with 1 person shimomura
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as
	Algebra of Logic Programming [My Copy] In International Conference on Logic Programming (1999), pp. 184-199. by Silvija Seres, Michael J. Spivey, C. A. R. Hoare posted to haskell logic-programming by zednenem on 2008-07-19 04:00:06 as
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted to backtracking haskell monads monad-transformers by zednenem on 2008-05-31 01:42:18 as
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted to generic-programming haskell type-classes by zednenem on 2007-08-02 11:36:58 as along with 3 people spl conal americovargas
	A Functional Programming Technique for Forms in Graphical User Interfaces [My Copy] Implementation and Application of Functional Languages (2005), pp. 35-51. by Sander Evers, Peter Achten, Jan Kuper posted to composable-references fp gui haskell by zednenem on 2007-06-05 02:56:45 as
	Polytypic Functional Programming and Data abstraction [My Copy] (January 2006) by Pablo N. Iglesias posted to generic-programming haskell by zednenem on 2007-04-07 00:47:52 as
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as along with 11 people and 1 group pirapira algorithmic draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
	Reactive Objects for Haskell [My Copy] In Informal proceedings of the Fifth Symposium on Trends in Functional Languages (TFP 2004). (November 2004) by Stefan Heimann, Matthias Neubauer posted to oop haskell concurrency by zednenem on 2007-01-10 00:49:40 as along with 2 people jrw AndreasSchropp
	RepLib: a library for derivable type classes [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12. by Stephanie Weirich posted to generic-programming haskell by zednenem on 2006-12-19 16:49:20 as along with 2 people spl keigoi
	Gast: Generic automated software testing [My Copy] (2002) by P. Koopman, A. Alimarine, J. Tretmans, R. Plasmeijer posted to haskell testing by zednenem on 2006-11-14 05:16:54 as along with 1 person JeffreyPalmer
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted to generic-programming haskell by zednenem on 2006-06-05 19:52:29 as along with 4 people jrw jburnim EdwardKmett AndreasSchropp
	Continuations for parallel logic programming [My Copy] In Principles and Practice of Declarative Programming (2000), pp. 257-267. by Eneia Todoran, Nikolaos Papaspyrou posted to concurrency haskell logic-programming by zednenem on 2006-06-02 19:16:56 as along with 1 person scis0000001
	A language-based approach to unifying events and threads [My Copy] by Peng Li, Steve Zdancewic posted to concurrency continuations events haskell by zednenem on 2006-05-30 15:35:42 as along with 1 person jrw
	Pattern Guards and Transformational Patterns [My Copy] In Haskell Workshop (2000) by M. Erwig, Peyton S. L. Jones posted to haskell by zednenem on 2006-02-10 06:44:27 as along with 1 person jrw
	Haskell is not not ML [My Copy] In European Symposium on Programming (2006) by Ben Rudiak-Gould, Alan Mycroft, Simon P. Jones posted to continuations haskell intermediate-language ml by zednenem on 2006-01-23 19:21:02 as along with 4 people gologo13 josefs scook0 EdwardKmett
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to effects haskell monads by zednenem on 2006-01-15 07:44:37 as along with 9 people jcreed pedagand msakai shimomura josefs mstone bringert conal croys
	wxHaskell: a portable and concise GUI library for haskell [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 57-68. by Daan Leijen posted to gui haskell by zednenem on 2006-01-04 02:51:17 as along with 2 people jrw kowey
	Bootstrapping One-sided Flexible Arrays [My Copy] by Ralf Hinze posted to haskell purely-functional-data-structures by zednenem on 2005-10-19 05:26:45 as along with 1 person conal
	Dynamic Applications From the Ground Up [My Copy] by Don Stewart, Manuel M. T. Chakravarty posted to dynamic-linking haskell by zednenem on 2005-10-15 21:13:08 as along with 4 people JeffreyPalmer jrw tautologico josefs
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted to grammar haskell logic natural-language zippers by zednenem on 2005-10-09 16:49:34 as along with 5 people robertjohnsimmons josefs kavabean bringert richardlp
	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine [My Copy] Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202. by Simon L. Peyton-Jones posted to compilation haskell intermediate-language lazy-evaluation by zednenem on 2005-10-05 02:04:17 as along with 7 people JeffreyPalmer jrw damaru benchambers jpetry donniejones18 spl
	Code optimisation techniques for lazy functional languages [My Copy] by Urban Boquist posted to compilation haskell intermediate-language optimization by zednenem on 2005-09-24 05:38:51 as along with 4 people jrw cedricboidin pejo MattOConnor
	Boxy type inference for higher-rank types and impredicativity [My Copy] by Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-Jones posted to haskell higher-ranked-types impredicative-types type-inference by zednenem on 2005-09-23 06:59:30 as
	Typeful symbolic differentiation of compiled functions [My Copy] by Oleg Kiselyov posted to haskell symbolic-math type-classes by zednenem on 2005-09-17 02:43:09 as
	Asynchronous Exceptions in Haskell [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285. by Simon Marlow, Simon, Andrew Moran, John H. Reppy posted to concurrency exceptions haskell by zednenem on 2005-09-09 16:52:21 as along with 3 people JeffreyPalmer kinaba neuralwarp
	Proof methods for corecursive programs [My Copy] Fundamenta Informaticae, Vol. 66, No. 4. (April/May 2005), pp. 353-366. by Jeremy Gibbons, Graham Hutton posted to algebraic-reasoning corecursion haskell by zednenem on 2005-09-03 06:35:22 as along with 2 people and 1 group greenrd jrw SRG_at_UCD
	TypeCase: A Design Pattern for Type-Indexed Functions [My Copy] by Bruno C. Oliveira, Jeremy Gibbons posted to haskell type-indexed-types typecase by zednenem on 2005-09-03 02:24:38 as
	Bridging the algorithm gap: A linear-time functional program for paragraph formatting [My Copy] Science of Computer Programming, Vol. 35, No. 1. (1999), pp. 3-27. by Oege de Moor, Jeremy Gibbons posted to algorithms haskell text-formatting by zednenem on 2005-09-03 02:20:17 as
	Typed logical variables in Haskell [My Copy] (2000) by K. Claessen, P. Ljungl posted to embedding haskell logic-programming by zednenem on 2005-09-02 04:38:45 as along with 3 people msakai jsala AndreasSchropp
	Associated Type Synonyms [My Copy] by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:16:18 as
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:10:01 as along with 10 people and 2 groups samth greenrd bec voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
	Typing dynamic typing [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 157-166. by Arthur I. Baars, Doaitse S. Swierstra posted to dynamic-typing haskell type-coercion type-equality by zednenem on 2005-08-31 01:11:57 as along with 4 people and 1 group twleung dherman tautologico americovargas NU-PRL
	Imperative streams--a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
	Applicative translucent functors in Haskell (sharing by name) [My Copy] by Oleg Kiselyov, Chung-Chieh Shan posted to applicative-functors haskell modules ocaml transluscent-functors by zednenem on 2005-08-26 22:18:12 as
	Applicative translucent functors in Haskell [My Copy] by Oleg Kiselyov posted to abstract-types applicative-functors haskell modules ocaml transluscent-functors by zednenem on 2005-08-26 22:15:20 as
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted to haskell macros metaprogramming by zednenem on 2005-08-25 21:09:22 as along with 4 people and 1 group dherman jrw ryanc dfisher NU-PRL
	Bridging the Gulf: A Common Intermediate Language for ML and Haskell [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 49-61. by Simon L. Peyton-Jones, Mark Shields, John Launchbury, Andrew P. Tolmach posted to haskell intermediate-language ml by zednenem on 2005-08-16 05:14:38 as
	Optimising Embedded DSLs using Template Haskell [My Copy] In Third International Conference on Generative Programming and Component Engineering (October 2004), pp. 186-205. by Sean Seefried, Manuel Chakravarty, Gabriele Keller posted to dsl edsl haskell metaprogramming pan staged-programming template-haskell by zednenem on 2005-08-15 15:35:38 as along with 3 people and 1 group dherman jacob cedricboidin NU-PRL
	Inferring type isomorphisms generically [My Copy] by F. Atanassow, J. Jeuring posted to generic-programming haskell type-isomorphisms xml by zednenem on 2005-08-14 22:33:57 as along with 1 person and 1 group greenrd SRG_at_UCD
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted to haskell monads parsing by zednenem on 2005-08-14 06:19:16 as along with 7 people and 1 group draganigajic jrw damaru msakai bunge cognominal namin Lambda the Ultimate
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] In European Symposium on Programming (2004) by Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann posted to fp fundeps haskell type-classes by zednenem on 2005-08-13 10:08:25 as along with 1 person tov
	Programming Paradigms of the Andorra Kernel Language [My Copy] In Logic Programming, Proceedings of the 1991 International Symposium (1991), pp. 167-186. by Sverker Janson, Seif Haridi edited by Vijay Saraswat, Kazunori Ueda posted to fp haskell logic-programming multiparadigm oz by zednenem on 2005-08-01 17:39:56 as
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to codata comonads haskell by zednenem on 2005-07-31 19:19:50 as along with 8 people and 2 groups ama08r dherman JacquesC greenrd cedricboidin msakai bonotake mcclurmc NU-PRL SRG_at_UCD
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted to haskell modules by zednenem on 2005-07-30 05:31:16 as along with 1 person and 1 group dherman NU-PRL
	A monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted to haskell monads parsing by zednenem on 2005-06-24 19:07:11 as along with 4 people and 1 group twleung JacquesC JeffreyPalmer tautologico NU-PRL
	A monadic framework for subcontinuations [My Copy] by Kent R. Dybvig, Simon Peyton-Jones, Amr Sabry posted to continuation haskell monads by zednenem on 2005-06-24 19:05:21 as along with 1 person jrw

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

haskell	50
monads	34
modules	14
concurrency	11
fp	11
category-theory	9
lazy-evaluation	8
type-classes	8
comonads	7
effects	7
logic-programming	7
generic-programming	6
logic	6
compilation	5
intermediate-language	5
lawvere-theories	5
query	5
continuation	4
continuations	4
mixins	4
monad-transformers	4
recursion	4
staged-programming	4
type-theory	4
algebra	3
associated-types	3
coinduction	3
gui	3
metaprogramming	3
ml	3
ocaml	3
oop	3
polymorphism	3
programming	3
zippers	3
abstract-types	2
algebraic-reasoning	2
applicative-functors	2
attribute-grammars	2
backtracking	2
call-by-value	2
codata	2
composable-references	2
corecursion	2
dataflow-programming	2
dsl	2
gadt	2
higher-ranked-types	2
impredicative-types	2
interpreters	2
lambda-calculus	2
linear-types	2
parsing	2
program-transformation	2
rdf	2
reflection	2
semantics	2
transluscent-functors	2
type-equality	2
type-system	2
algorithms	1
allocation	1
arithmetic	1
arrows	1
build-systems	1
coalgebra	1
collections	1
combinators	1
constraint-satisfaction	1
contracts	1
dependent-types	1
description-logic	1
domain-theory	1
dynamic-linking	1
dynamic-typing	1
edsl	1
embedding	1
epigram	1
equational-reasoning	1
events	1
exceptions	1
expressiveness	1
folds	1
frp	1
fundeps	1
grammar	1
graph	1
implicit-variables	1
incremental-computing	1
knowledge-representation	1
lattices	1
lexing	1
lua	1
macros	1
make	1
metaocaml	1
modal-logic	1
multiparadigm	1
natural-language	1
nested-datatypes	1
non-strict	1
optimization	1
ordinals	1
owl	1
oz	1
pan	1
partial-evaluation	1
plt	1
purely-functional-data-structures	1
python	1
references	1
regular-expressions	1
resumptions	1
scala	1
scheme	1
software-maintenance	1
structural-types	1
symbolic-math	1
system-f	1
template-haskell	1
termination	1
testing	1
text-formatting	1
trampoline-style	1
type-as-proposition	1
typecase	1
type-coercion	1
type-indexed-types	1
type-inference	1
type-isomorphisms	1
unboxed-types	1
units	1
virtual-types	1
xml	1
yampa	1

zednenem's haskell [50 articles] Export

zednenem's tags