% Arrows in general

@article{hughes:arrows,
	title = "Generalising Monads to Arrows",
	author = "John Hughes",
	journal = "Science of Computer Programming",
	url = "http://www.cs.chalmers.se/~rjmh/Papers/arrows.ps",
	volume = 37,
	pages = "67-111",
	month = May,
	year = 2000
}

@inproceedings{PatersonRA:notation,
	title = "A New Notation for Arrows",
	author = "Ross Paterson",
	booktitle = "International Conference on Functional Programming",
	location = "Firenze, Italy",
	url = "http://www.soi.city.ac.uk/~ross/papers/notation.html",
	publisher = "ACM Press",
	pages = "229-240",
	month = Sep,
	year = 2001
}

@incollection{PatersonRA:fop,
	title = "Arrows and Computation",
	author = "Ross Paterson",
	booktitle = "The Fun of Programming",
	editor = "Jeremy Gibbons and Oege de Moor",
	url = "http://www.soi.city.ac.uk/~ross/papers/fop.html",
	publisher = "Palgrave",
	pages = "201-222",
	year = 2003
}

% Applications of arrows

@inproceedings{courtney&elliott:fruit,
	author = "Antony Courtney and Conal Elliott",
	title = "Genuinely Functional User Interfaces",
	url = "http://www.haskell.org/yale/papers/haskellworkshop01/",
	booktitle = "Haskell Workshop",
	pages = "41-69",
	month = Sep
	year = 2001
}

@inproceedings{hudak:oxford,
	author = "Paul Hudak and Antony Courtney and Henrik Nilsson and John Peterson",
	title = "Arrows, Robots, and Functional Reactive Programming",
	url = "http://www.haskell.org/yale/papers/oxford02/",
	booktitle = "Advanced Functional Programming, 4th International School",
	editor = "Johan Jeuring and Simon Peyton Jones",
	series = "Lecture Notes in Computer Science",
	volume = 2638,
	publisher = "Springer-Verlag",
	year = 2003
}

@article{jansson:dataconv,
	author = "Patrik Jansson and Johan Jeuring",
	title = "Polytypic Data Conversion Programs",
	url = "http://www.md.chalmers.se/~patrikj/poly/dataconv/",
	journal = "Science of Computer Programming",
	volume = 43,
	number = 1,
	pages = "35-75",
	year = 2002
}

@inproceedings{jansson:compact,
	author = "Patrik Jansson and Johan Jeuring",
	title = "Polytypic Compact Printing and Parsing",
	url = "http://www.cs.chalmers.se/~patrikj/poly/dc/",
	booktitle = "European Symposium on Programming",
	series = "Lecture Notes in Computer Science",
	volume = 1576,
	publisher = "Springer-Verlag",
	pages = "273-287",
	year = 1999
}

@inproceedings{klp:hyperfunctions,
	author = "Sava Krstic and John Launchbury and Dusko Pavlovic",
	title = "Hyperfunctions",
	booktitle = "Fixed Points in Computer Science",
	note = "extended abstract",
	year = 2001
}

@inproceedings{nilsson:frp-cont,
	author = "Henrik Nilsson and Antony Courtney and John Peterson",
	title = "Functional Reactive Programming, Continued",
	booktitle = "Proceedings of the 2002 {ACM SIGPLAN} {Haskell} Workshop",
	pages = "51-64",
	address = "Pittsburgh, PA",
	publisher = "{ACM} Press",
	month = Oct,
	year = 2002
}

% Related theoretical work

@article{bcs:context,
	author = "Richard Blute and J.R.B. Cockett and R.A.G. Seely",
	title = "Categories for Computation in Context and Unified Logic",
	url = "http://triples.math.mcgill.ca/~rags/bang/context1.dvi.gz",
	journal = "Journal of Pure and Applied Algebra",
	volume = 116,
	pages = "49-98",
	year = 1997
}

@article{power:premonoidal,
	title = "Premonoidal Categories and Notions of Computation",
	author = "John Power and Edmund Robinson",
	url = "ftp://ftp.dcs.qmw.ac.uk/pub/lfp/edmundr/premoncat.dvi.gz",
	journal = "Mathematical Structures in Computer Science",
	volume = 7,
	number = 5,
	pages = "453-468",
	month = Oct,
	year = 1997
}

@inproceedings{power:env,
	author = "John Power and Hayo Thielecke",
	title = "Environments, Continuation Semantics and Indexed Categories",
	url = "http://www.cs.bham.ac.uk/~hxt/research/TACSfinal.ps",
	booktitle = "Proceedings TACS'97",
	publisher = "Springer",
	series = "LNCS",
	volume = 1281,
	pages = "391-414",
	year = 1997
}

@inproceedings{power:freyd,
	author = "John Power and Hayo Thielecke",
	title = "Closed {Freyd}- and kappa-categories",
	url = "http://www.cs.bham.ac.uk/~hxt/research/freydkappa.ps",
	booktitle = "ICALP",
	publisher = "Springer",
	series = "LNCS",
	volume = 1644,
	year = 1999
}