yallop's Top Recommendations

These recommendations were last updated 41 minutes ago.

	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 by 13 people samth greenrd zednenem bec voigt msakai bonotake spl NU-PRL SRG_at_UCD gkuan americovargas jpbernardy
	Generic Programming [My Copy] Advanced Functional Programming (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens posted by 5 people ansobol pedagand draganigajic spl americovargas
	Boxy types: inference for higher-rank types and impredicativity [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 251-262. by Dimitrios Vytiniotis, Stephanie Weirich, Simon P. Jones posted by 2 people americovargas spl
	Extensible and modular generics for the masses [My Copy] In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216. by Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh edited by Henrik Nilsson, Henrik Nilsson posted by 2 people spl americovargas
	Applicative programming with effects [My Copy] Journal of Functional Programming, Vol. 18, No. 01. (2007), pp. 1-13. by Conor Mcbride, R. O. S. S. Paterson posted by 4 people spl americovargas fgeller jpbernardy
	Datatype-Generic Programming [My Copy] Datatype-Generic Programming (2007), pp. 1-71. by Jeremy Gibbons posted by 5 people fvogels spl jpbernardy americovargas marcinzalewski
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted by 4 people zednenem spl conal americovargas
	âScrap Your Boilerplateâ Reloaded [My Copy] : Functional and Logic Programming (2006), pp. 13-29. by Ralf Hinze, Andres Lã¶h, Bruno posted by 2 people spl americovargas
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted by 12 people draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal SRG_at_UCD americovargas pedagand
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted by 8 people dherman greenrd msakai ryanc ben_moseley NU-PRL SRG_at_UCD americovargas
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted by 7 people greenrd voigt mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted by 7 people greenrd voigt AndreasSchropp mgran SRG_at_UCD mcclurmc jimburton
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 24 people wain ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi SRG_at_UCD robotact srccheck jimburton Lambda the Ultimate jasmithoffice shimomura
	Implicit parameters: dynamic scoping with static types [My Copy] In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 108-118. by Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark B. Shields posted by 3 people greenrd spl SRG_at_UCD
	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 by 6 people Scis0000002 spl greenrd craigtalbert jpbernardy SRG_at_UCD
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted by 5 people spl greenrd zednenem EdwardKmett SRG_at_UCD
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted by 11 people ConcertRG robertjohnsimmons pedagand spl jimburton byorgey dalev greenrd dmitri83 NU-PRL SRG_at_UCD
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted by 11 people ama08r spl fvogels draganigajic twleung dherman greenrd tautologico NU-PRL SRG_at_UCD pedagand
	Generic Program Transformation [My Copy] Advanced Functional Programming (1999), pp. 116-149. by Oege de Moor, Ganesh Sittampalam posted by 1 person americovargas
	The Under-Appreciated Unfold [My Copy] In Proceedings 3rd ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'98, Baltimore, {MD}, {USA}, 26--29 Sept.\ 1998, Vol. 34(1) (1998), pp. 273-279. by Jeremy Gibbons, Geraint Jones posted by 1 person americovargas
	Proof methods for structured corecursive programs [My Copy] (1999) by J. Gibbons, G. Hutton posted by 1 person americovargas
	Views: A Way for Pattern Matching to Cohabit with Data Abstraction [My Copy] In Proceedings, 14th Symposium on Principles of Programming Languages (1987), pp. 307-312. by Philip Wadler edited by Steve Munchnik posted by 1 person americovargas
	Efficient Generalized Folds [My Copy] (2000) by R. Hinze posted by 1 person americovargas
	Sorting Morphisms [My Copy] In Advanced Functional Programming (1998), pp. 1-27. by Lex Augusteijn posted by 1 person americovargas
	Server side web scripting in Haskell [My Copy] J. Funct. Program., Vol. 10, No. 1. (January 2000), pp. 1-18. by Erik Meijer posted by 1 person americovargas
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (1991), pp. 124-144. by Erik Meijer, Maarten M. Fokkinga, Ross Paterson posted by 1 person americovargas
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 1 person americovargas
	Designing and Implementing Combinator Languages [My Copy] In Advanced Functional Programming (1998), pp. 150-206. by Doaitse S. Swierstra, Pablo, Joao Sariava posted by 1 person americovargas
	Cayenne - a Language with Dependent Types [My Copy] In International Conference on Functional Programming (1998), pp. 239-250. by Lennart Augustsson posted by 2 people americovargas croys
	Bulk types with class [My Copy] (1996) by S. Jones posted by 2 people americovargas jpbernardy
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 1 person americovargas
	A generic programming extension for Haskell [My Copy] (1999) by R. Hinze posted by 1 person americovargas
	Typecase: A design pattern for type-indexed functions [My Copy] (2005) by B. Oliveira, J. Gibbons posted by 1 person americovargas
	Generic Haskell: applications [My Copy] (2003) by R. Hinze, J. Jeuring posted by 1 person americovargas
	Generic Haskell: practice and theory [My Copy] (2003) by R. Hinze, J. Jeuring posted by 1 person americovargas
	Generic Programming, Now! [My Copy] Datatype-Generic Programming (2007), pp. 150-208. by Ralf Hinze, Andres Löh posted by 1 person americovargas
	Design patterns as higher-order datatype-generic programs [My Copy] In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12. by Jeremy Gibbons posted by 4 people fvogels americovargas marcinzalewski pedagand
	Dependency-style generic haskell [My Copy] SIGPLAN Not., Vol. 38, No. 9. (September 2003), pp. 141-152. by Andres Löh, Dave Clarke, Johan Jeuring posted by 1 person americovargas
	A lightweight implementation of generics and dynamics [My Copy] (2002) by J. Cheney, R. Hinze posted by 1 person americovargas
	Polytypic Values Possess Polykinded Types [My Copy] In Mathematics of Program Construction (2000), pp. 2-27. by Ralf Hinze posted by 1 person americovargas
	Type-indexed datatypes [My Copy] (2001) by R. Hinze, J. Jeuring, A. Oh posted by 1 person americovargas
	Polytypic Programming With Ease [My Copy] Journal of Functional and Logic Programming, Vol. 2001, No. 3. (2001) by Ralf Hinze posted by 1 person americovargas
	Polytypic Programming [My Copy] In Tutorial Text 2nd Int.\ School on Advanced Functional Programming, Olympia, WA, {USA}, 26--30 Aug 1996, Vol. 1129 (1996), pp. 68-114. by Johan Jeuring, Patrik Jansson edited by J. Launchbury, E. Meijer, T. Sheard posted by 1 person americovargas
	Strong types for relational databases [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 25-36. by Alexandra Silva, Joost Visser posted by 1 person americovargas
	Practical type inference for arbitrary-rank types [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields posted by 4 people draganigajic byorgey americovargas pedagand
	Simple unification-based type inference for GADTs [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 1 person americovargas
	Fun with functional dependencies [My Copy] (2001) by T. Hallgren posted by 1 person americovargas
	A Short Cut to Deforestation [My Copy] In Conference on Functional Programming Languages and Computer Architecture (June 1993), pp. 223-232. by Andrew Gill, John Launchbury, Simon posted by 2 people conal americovargas
	Programming with Arrows [My Copy] Advanced Functional Programming (2005), pp. 73-129. by John Hughes posted by 4 people draganigajic mcclurmc Lambda the Ultimate americovargas
	Generalising monads to arrows [My Copy] Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 67-111. by John Hughes posted by 6 people draganigajic alec tov calvins pedagand americovargas
	Purely Functional Random-Access Lists [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 86-95. by Chris Okasaki posted by 4 people conal gvdh BMeph americovargas
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted by 3 people tov conal americovargas
	QuickCheck: a lightweight tool for random testing of Haskell programs [My Copy] ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279. by Koen Claessen, John Hughes posted by 4 people draganigajic conal americovargas pedagand
	Type-safe, self inspecting code [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79. by Arthur I. Baars, Doaitse S. Swierstra posted by 3 people pedagand keigoi americovargas
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 4. (2000), pp. 327-351. by Ralf Hinze posted by 3 people jimburton Lambda the Ultimate americovargas
	Merging Monads and Folds for Functional Programming [My Copy] In Tutorial Text 1st Int.\ Spring School on Advanced Functional Programming Techniques, B\aastad, Sweden, 24--30 May 1995, Vol. 925 (1995), pp. 228-266. by Erik Meijer, Johan Jeuring edited by J. Jeuring, E. Meijer posted by 2 people lomeo americovargas
	A Tutorial on the Universality and Expressiveness of Fold [My Copy] Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372. by Graham Hutton posted by 7 people rahul SRL mcclurmc hayeah paper_jac Lambda the Ultimate americovargas
	The Design of a Pretty-printing Library [My Copy] In Advanced Functional Programming, Vol. 925 (1995) by John Hughes edited by J. Jeuring, E. Meijer posted by 4 people dherman calvins NU-PRL americovargas
	Lazy Imperative Programming [My Copy] In Proceedings of the ACM {SIGPLAN} Workshop on State in Programming Languages, Copenhagen, {DK}, {SIPL} '92 (1993), pp. 46-56. by J. Launchbury posted by 2 people tautologico americovargas
	State in Haskell [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 293-341. by John Launchbury, Simon posted by 5 people MartinSchuerrer tautologico bunge calvins americovargas
	Deforestation: Transforming Programs to Eliminate Trees [My Copy] In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358. by P. Wadler posted by 6 people draganigajic wadler calvins cdiggins americovargas pedagand
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted by 6 people tautologico bunge ds americovargas yoriyuki pedagand
	A New Approach to Generic Functional Programming [My Copy] In Symposium on Principles of Programming Languages (2000), pp. 119-132. by Ralf Hinze posted by 4 people draganigajic kavabean americovargas pedagand
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted by 8 people derek_farn jweslley LeonSmith rahul croys cdiggins SRL americovargas
	Faking it Simulating dependent types in Haskell [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392. by Conor Mcbride posted by 4 people keigoi dalev NU-PRL americovargas
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted by 28 people pirapira jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins SRL SIG hayeah SamB mmarcus americovargas namin functional programming Lambda the Ultimate pedagand
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted by 9 people dherman JeffreyPalmer sstrickl tautologico thsutton lyongu ryanc NU-PRL americovargas
	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, S. Doaitse Swierstra posted by 6 people twleung dherman tautologico zednenem NU-PRL americovargas
	Languages of the Future [My Copy] by Tim Sheard posted by 7 people twleung eaubin bdauvergne mahler tov Rightscom americovargas
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted by 13 people olegus kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo NU-PRL SRG_at_UCD americovargas
	Upwards and downwards accumulations on trees [My Copy] Mathematics of Program Construction (1993), pp. 122-138. by Jeremy Gibbons posted by 2 people mwbuksas spl
	Type-indexed rows [My Copy] In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2001), pp. 261-275. by Mark Shields, Erik Meijer posted by 1 person spl
	FUNCTIONAL PEARL: A program to solve Sudoku [My Copy] Journal of Functional Programming, Vol. 16, No. 06. (2006), pp. 671-679. by D. Richard Bir posted by 1 person spl
	Unification and anti-unification in the calculus of constructions [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (06 August 2002), pp. 74-85. by F. Pfenning posted by 2 people spl robertjohnsimmons
	$My PDF l&\#228;mmel_06_software.pdf$ Software extension and integration with type classes [My Copy] In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 161-170. by Ralf L&\#228;mmel, Klaus Ostermann posted by 1 person AndreasSchropp
	Denotational semantics: a methodology for language development [My Copy] (1986) by David A. Schmidt posted by 1 person AndreasSchropp
	Category theory for computing science [My Copy] (1990) by Michael Barr, Charles Wells posted by 1 person AndreasSchropp
	The Theory and Practice of Concurrency [My Copy] (1997) by A. W. Roscoe, C. A. R. Hoare, Richard Bird posted by 5 people leonardo michaelbanks CSP zbchen AndreasSchropp
	Transactional events [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 124-135. by Kevin Donnelly, Matthew Fluet posted by 2 people robertjohnsimmons AndreasSchropp
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted by 9 people pedagand ddemange dimvar ConcertRG robertjohnsimmons robotact alec AndreasSchropp jonathlela
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted by 5 people jrw zednenem jburnim EdwardKmett AndreasSchropp
	Communicating and Mobile Systems: the Pi-Calculus [My Copy] (15 June 1999) by Robin Milner posted by 17 people scottmoody talototo stagediver bfraser kontakte AndreasSchropp cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer dIEMoSIRIS MoSi-Rostock Grobi
	Typed logical variables in Haskell [My Copy] (2000) by K. Claessen, P. Ljungl posted by 4 people zednenem msakai jsala AndreasSchropp
	Comprehending Queries [My Copy] (1999) by T. Grust posted by 4 people zednenem mahler AndreasSchropp Rightscom
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted by 7 people pedagand JeffreyPalmer muli msakai AndreasSchropp kozaki jimburton
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted by 5 people dherman msakai AndreasSchropp NU-PRL mcclurmc
	Libraries for Generic Programming in Haskell [My Copy] In Advanced Functional Programming (2009), pp. 165-229. by Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev posted by 1 person spl
	Type-safe diff for families of datatypes [My Copy] In WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming (2009), pp. 61-72. by Eelco Lempsink, Sean Leather, Andres Löh posted by 1 person spl
	Constraint-set satisfiability for overloading [My Copy] In PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), pp. 67-77. by Ao Carlos Camar, Lucília Figueiredo, Cristiano Vasconcellos posted by 1 person spl
	Determining detailed structural correspondence for generalization tasks [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 165-174. by Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger posted by 1 person spl
	Finite domains and exclusions as first-class citizens [My Copy] Extensions of Logic Programming (1994), pp. 37-61. by Harold Boley posted by 1 person spl
	Higher-order functions considered unnecessary for higher-order programming [My Copy] (1990), pp. 309-351. by Joseph A. Goguen posted by 1 person spl
	How to read floating point numbers accurately [My Copy] In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (1990), pp. 92-101. by William D. Clinger posted by 1 person spl
	Printing floating-point numbers quickly and accurately [My Copy] In PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (1996), pp. 108-116. by Robert G. Burger, R. Kent Dybvig posted by 1 person spl
	Computing downwards accumulations on trees quickly [My Copy] Theoretical Computer Science, Vol. 169, No. 1. (30 November 1996), pp. 67-80. by J. Gibbons posted by 1 person spl
	Adaptive functional programming [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted by 1 person spl
	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 by 2 people spl robertjohnsimmons
	A novel representation of lists and its application to the function “reverse” [My Copy] Information Processing Letters, Vol. 22, No. 3. (03 March 1986), pp. 141-144. by R. Hughes posted by 1 person spl