tov's haskell [24 articles] Export

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

	Generalising monads to arrows [My Copy] Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111. by John Hughes posted to haskell pl types by tov on 2008-04-04 20:58:00 as along with 5 people draganigajic alec calvins pedagand americovargas
	Genuine shift/reset in Haskell98 [My Copy] The Haskell Mailing List (12 December 2007) by Oleg Kiselyov posted to haskell icfp08 pl types by tov on 2008-03-27 11:11:29 as
	Simple variable-state `monad' [My Copy] The Haskell Mailing List (18 December 2006) by Oleg Kiselyov posted to haskell icfp08 pl types by tov on 2008-03-27 11:10:15 as
	Strongly typed heterogeneous collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf Lammel, Keean Schupke posted to haskell icfp08 pl records types by tov on 2008-03-27 11:05:41 as along with 11 people and 1 group pedagand keigoi JacquesC yallop spl iff americovargas msakai marcinzalewski shimomura jimburton NU-PRL
	Concurrent Programming in ML [My Copy] (1999) by John H. Reppy posted to concurrency haskell icfp08 ml pl by tov on 2008-03-27 10:52:17 as
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\text{rd}$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (February 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:49:23 as along with 8 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip calvins conal
	The Glasgow Haskell compiler: a technical overview [My Copy] In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93) by Simon, Cordelia V. Hall, Kevin Hammond, Will Partain, Philip Wadler posted to haskell icfp08 pl by tov on 2008-03-27 10:46:48 as along with 5 people and 1 group mattmight jrw rahul robennals tmiya SRL
	Haskell 98 Language and Libraries: The Revised Report [My Copy] (05 May 2003) by Simon P. Jones posted to haskell icfp08 pl by tov on 2008-03-27 10:46:10 as along with 2 people and 1 group samth jimburton NU-PRL
	Session types for inter-process communication [My Copy] (2003) by S. Gay, V. Vasconcelos, A. Ravara posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:45:19 as along with 1 person ama08r
	Parametric Overloading in Polymorphic Programming Languages [My Copy] In ESOP '88: Proceedings of the 2nd European Symposium on Programming (1988), pp. 131-144. by Stefan Kaes posted to haskell pl typeclasses types by tov on 2008-02-29 19:13:03 as along with 1 person yallop
	Parameterized Notions of Computation [My Copy] Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006) by Robert Atkey posted to haskell icfp08 pl types by tov on 2008-01-25 19:41:56 as along with 4 people pedagand keigoi mstone alec
	Associated types with class [My Copy] (2005) by M. Chakravarty, G. Keller, S. Jones, S. Marlow posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as
	An implementation of session types [My Copy] (2004) by M. Neubauer, P. Thiemann posted to concurrency haskell icfp08 types by tov on 2008-01-11 20:20:15 as along with 2 people ama08r keigoi
	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 concurrency haskell pl types by tov on 2007-10-19 22:33:40 as along with 2 people conal americovargas
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] by G. Duck, Peyton, P. Stuckey, M. Sulzmann posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:50 as along with 1 person zednenem
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:08 as along with 8 people and 2 groups samth pedagand draganigajic twleung dherman JacquesC greenrd sclv NU-PRL SRG_at_UCD
	A Functional Notation for Functional Dependencies [My Copy] In Proceedings of the 2001 Haskell Workshop (2001) by Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber posted to haskell pl typeclasses types by tov on 2006-10-06 01:43:15 as along with 1 person keigoi
	A typed representation for HTML and XML documents in Haskell [My Copy] (2002) by P. Thiemann posted to haskell pl typeclasses types by tov on 2006-10-06 01:36:55 as
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:55 as along with 10 people and 3 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:02 as along with 3 people shimomura keigoi yallop
	Parametric type classes [My Copy] In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming (1992), pp. 170-181. by Kung Chen, Paul Hudak, Martin Odersky posted to haskell pl typeclasses types by tov on 2006-10-06 01:32:06 as along with 1 person yallop
	Implementing type classes [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation (1993), pp. 227-236. by John Peterson, Mark Jones posted to haskell pl typeclasses types by tov on 2006-10-06 01:31:27 as
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. Simon, Philip L. Wadler posted to haskell pl typeclasses types by tov on 2006-10-06 01:30:23 as along with 4 people and 2 groups dherman robennals rgb bendiken NU-PRL pileWorks
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted to haskell pl typeclasses types by tov on 2006-10-06 01:24:42 as along with 5 people msakai lomeo gds SamB gkuan

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

pl	91
types	46
haskell	24
icfp08	23
parproj	15
scheme	15
compilers	13
typeclasses	12
concurrency	11
history	11
records	9
control	7
quantum	7
macros	4
ml	4
substructural	3
apl	2
java	2
logic	2
mine	2
contexts	1
erlang	1
shcaml	1
syntax	1

tov's haskell [24 articles] Export

tov's tags