Tag haskell [at least 200 articles] Export

Recent papers classified by the tag haskell.

	Extracting programs from type class proofs [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 97-108. by Martin Sulzmann posted to typeclass haskell fundeps by keigoi on 2009-11-16 05:53:22 as
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to haskell by triampurum on 2009-11-09 19:33:03 as along with 4 people mthomure spl brecknell SamB
	Confessions of a used programming language salesman [My Copy] ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694. by Erik Meijer posted to xml monad microsoft linq haskell by bfraser on 2009-11-07 01:29:54 as along with 3 people ama08r RalfMitschke mmakowski
	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted to haskell functionalprogramming embeddedlanguage by keigoi on 2009-11-05 06:54:13 as along with 2 people jcreed noam_zeilberger
	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
	FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell [My Copy] Journal of Functional Programming, Vol. 16, No. 01. (January 2006), pp. 21-34. by G. Martin Erwi, R. Steve Kollmansberge posted to probability haskell fp by bfraser on 2009-10-30 18:21:06 as along with 1 person pedagand
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. T. Chakravarty posted to haskell dynamic_applications dynamic by bfraser on 2009-10-20 17:02:21 as along with 7 people draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted to verification type haskell 2005 by shimomura on 2009-10-20 10:35:04 as along with 6 people and 1 group jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	Real World Haskell [My Copy] (01 December 2008) by Bryan O'Sullivan, John Goerzen, Don Stewart posted to haskell by puzza on 2009-10-19 14:37:21 as along with 5 people serebryakov dsquared MartinSchuerrer incognito DavidChemouil
	Lazy functional incremental parsing [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 49-60. by Jean P. Bernardy posted to yi parsing haskell functional-programming by robertjohnsimmons on 2009-10-17 21:07:05 as along with 1 person spl
	State in Haskell [My Copy] LISP and Symbolic Computation, Vol. 8, No. 4. (1 December 1995), pp. 293-341. by John Launchbury, Simon L. Peyton Jones posted to state monad haskell by bfraser on 2009-10-07 19:39:45 as along with 1 person pedagand
	Beautiful differentiation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202. by Conal M. Elliott posted to vector_spaces haskell calculus by prahlad on 2009-10-01 17:54:49 as along with 1 group ConcertRG
	Functional Pearl: The Zipper [My Copy] J. Functional Programming, Vol. 7 (1997), pp. 7-5. by Gérard Huet, Inria R. France posted to tree programming haskell functional article by jjrohal on 2009-09-27 19:51:47 as
	Composing Contracts: An Adventure in Financial Engineering [My Copy] In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), 435. by Simon L. Peyton Jones posted to haskell financial_engineering contract by bfraser on 2009-09-26 14:20:19 as
	Haskell and XML: Generic Combinators or Type-Based Translation? [My Copy] Vol. 34 (1999), pp. 148-159. by Malcolm Wallace, Colin Runciman posted to typed haskell by mgreenbe on 2009-09-23 22:33:13 as
	Typed contracts for functional programming [My Copy] In In FLOPS ’06: Functional and Logic Programming: 8th International Symposium, Vol. 11 (2006), pp. 208-225. by Ralf Hinze, Johan Jeuring, Andres Löh posted to typed picky lazy haskell dependent contracts blame_passing algebraic by mgreenbe on 2009-09-22 14:42:49 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
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268-279. by Koen Claessen, John Hughes posted to verification testing quickcheck haskell by bfraser on 2009-09-05 22:35:49 as along with 2 people ghulette spl
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to 1998 dependenttype haskell by shimomura on 2009-08-08 08:04:54 as along with 11 people and 1 group ama08r msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy jimburton SRG_at_UCD
	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
	Composable memory transactions [My Copy] Commun. ACM, Vol. 51, No. 8. (August 2008), pp. 91-100. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted to 2008 cacm composable haskell memory transactions by ashwinn on 2009-07-22 07:48:30 as along with 1 person ianwelch
	A family of syntactic logical relations for the semantics of Haskell-like languages [My Copy] Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368. by Patricia Johann, Janis Voigtländer posted to call-by-name deforestation errors free-theorems functional-programming haskell lambda-calculus lazy-evaluation logical-relations operational-semantics parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2009-07-19 07:38:42 as along with 1 person msakai
	Parametricity for Haskell with Imprecise Error Semantics [My Copy] Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308. by Florian Stenger, Janis Voigtländer edited by Pierre-Louis Curien posted to denotational-semantics exceptions free-theorems functional-programming haskell imprecise-errors lambda-calculus lazy-evaluation logical-relations nondeterminism parametricity polymorphism selective-strictness seq types by voigt on 2009-07-19 07:22:37 as along with 1 person msakai
	Bidirectionalization for Free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176. by Janis Voigtländer edited by Benjamin C. Pierce posted to applications bidirectionality databases free-theorems functional-programming generic-programming haskell parametricity polymorphism program-transformation type-classes view-update by voigt on 2009-07-19 07:07:52 as along with 2 people pedagand msakai
	A Probabilistic Language based upon Sampling Functions [My Copy] (2004) by Sungwoo P. Frank, Frank Pfenning posted to functional haskell statistics by serebryakov on 2009-07-14 15:07:20 as
	A Comparative Study of Language Support for Generic Programming [My Copy] (2003) by Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to cxx devel generic haskell java ml ocaml polymorphism by vlasovskikh on 2009-07-13 22:15:55 as along with 2 people incubos serebryakov
	Composing the user interface with Haggis [My Copy] Advanced Functional Programming (1996), pp. 1-37. by Sigbjorn Finne, Simon Jones posted to 1996 gui haskell by shimomura on 2009-07-04 17:58:51 as
	The worker/wrapper transformation [My Copy] Journal of Functional Programming, Vol. 19, No. 02. (2009), pp. 227-251. by G. I. L. L. Andy, Graham Hutton posted to haskell type_systems by shivak on 2009-07-01 19:28:05 as along with 2 people thegoose spl
	An overview of QML with a concrete implementation in Haskell [My Copy] (21 Jul 2008) by Jonathan Grattage posted to quantum haskell by MarkEveritt on 2009-06-27 06:36:52 as
	Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion [My Copy] Programming Languages and Systems In Programming Languages and Systems, Vol. 2895 (2003), pp. 265-282. by Shin-Cheng Mu, Richard Bird posted to algorithm-derivation algorithms calculational calculational-bib construction haskell invariant inversion problem-solving by jff on 2009-06-22 14:40:50 as
	Writing systems software in a functional language: An experience report [My Copy] In PLOS '07: Proceedings of the 4th Workshop on Programming Languages and Operating Systems (2007), pp. 1-5. by Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to haskell operating-systems by mattmight on 2009-06-22 00:11:24 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
	The Glasgow Haskell Compiler: A Technical Overview [My Copy] In Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference (93) by Simon L. Peyton-Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, Philip Wadler posted to compiler ghc haskell by mattmight on 2009-06-20 01:23:04 as along with 5 people and 1 group jrw rahul robennals tmiya tov SRL
	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
	Data types à la carte [My Copy] Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 423-436. by Wouter Swierstra posted to expression-problem haskell type-classes by msakai on 2009-06-14 07:40:09 as
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] SIGPLAN Not., Vol. 35, No. 9. (2000), pp. 268-279. by Koen Claessen, John Hughes posted to haskell quickcheck test_data_generation by bulwahn on 2009-05-30 16:24:24 as
	Smallcheck and lazy smallcheck: automatic exhaustive testing for small values [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48. by Colin Runciman, Matthew Naylor, Fredrik Lindblad posted to haskell quickcheck test_data_generation by bulwahn on 2009-05-26 20:13:57 as along with 3 people pedagand keigoi msakai
	FUNCTIONAL PEARL Type-safe cast [My Copy] Journal of Functional Programming, Vol. 14, No. 06. (2004), pp. 681-695. by Stephanie Weirich posted to fundeps haskell typecast by keigoi on 2009-05-08 08:44:39 as
	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell [My Copy] by Simon P. Jones posted to haskell by MartinSchuerrer on 2009-05-08 08:20:15 as along with 8 people ancechu dsilva calvins vlasovskikh serebryakov cognominal benchambers kazuya
	State in Haskell [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341. by John Launchbury, Simon posted to haskell by MartinSchuerrer on 2009-05-08 08:19:30 as along with 4 people tautologico bunge calvins americovargas
	Monads and Effects [My Copy] (2000) by Nick Benton, John Hughes, Eugenio Moggi posted to haskell by MartinSchuerrer on 2009-05-08 08:15:03 as along with 4 people draganigajic JeffreyPalmer tautologico glaubersp
	A Library for Light-Weight Information-Flow Security in Haskell [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 13-24. by Alejandro Russo, Koen Claessen, John Hughes posted to haskell information information-security library by jkominek on 2009-05-04 19:39:51 as along with 1 person michaelbanks
	Switched-On Yampa [My Copy] Practical Aspects of Declarative Languages (2008), pp. 282-298. by George Giorgidze, Henrik Nilsson posted to audio frp haskell synthesis yampa by mirimm on 2009-04-24 13:21:35 as
	Formal specification of image processing primitives in a functional language [My Copy] Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision & Image Processing., Proceedings of the 12th IAPR International Conference on In Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision & Image Processing., Proceedings of the 12th IAPR International Conference on, Vol. 1 (1994), pp. 539-542 vol.1. by I. Poole, D. Charleston posted to haskell imageanalysis by mirimm on 2009-04-24 10:45:54 as along with 1 person mmuecke
	The Yampa arcade [My Copy] In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 7-18. by Antony Courtney, Henrik Nilsson, John Peterson posted to frp haskell yampa by mirimm on 2009-04-23 15:57:10 as along with 5 people draganigajic vlasovskikh kazuya pedagand red_buttons
	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
	Lambda in Motion: Controlling Robots with Haskell [My Copy] In PADL '99: Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (1998), pp. 91-105. by John Peterson, Paul Hudak, Conal Elliott posted to dsl haskell by pnpo on 2009-04-20 00:11:06 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

functional-programming	148
monads	111
types	79
type-classes	74
functional	61
concurrency	56
programming	56
generics	41
category-theory	31
generic-programming	31
dsl	29
polymorphism	28
laziness	26
pl	25
compilers	24
languages	23
computation	22
optimization	22
dependent-types	20
typeclasses	20
dsel	19
program-transformation	18
type-theory	18
datatype-generic	17
lazy-evaluation	17
algorithms	16
functionalprogramming	16
ml	16
monad	16
fp	14
free-theorems	13
parametricity	13
semantics	13
combinators	12
frp	12
seq	12
arrows	11
compiler	11
deforestation	11
functional-dependencies	11
ghc	11
metaprogramming	11
type	11
formal-methods	10
logic-programming	10
logical-relations	10
rank-2	10
records	10
stm	10
icfp08	9
lava	9
p-logic	9
parallel	9
reactive	9
selective-strictness	9
type-inference	9
denotational-semantics	8
extensibility	8
gadts	8
language	8
multilang	8
printed	8
shortcut-deforestation	8
strict-evaluation	8
syb	8
testing	8
verification	8
algorithm	7
comonads	7
data-structures	7
hdl	7
lambda-calculus	7
logic-design	7
modules	7
side-effects	7
template-haskell	7
theory	7
applications	6
expression-problem	6
functional-reactive-programming	6
functional-state	6
fundeps	6
implicit-context	6
macros	6
mathematics	6
meta-programming	6
monadic-translators	6
operating-systems	6
parsers	6
parsing	6
polytypic	6
submit-incremental	6
typing	6
accumulating-parameters	5
codata	5
continuations	5
contracts	5
lazy	5
strictness-analysis	5
transactional-memory	5

Tag haskell [at least 200 articles] Export

Related Tags