josefs's Top Recommendations

These recommendations were last updated 39 minutes ago.

	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	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
	How to Add Laziness to a Strict Language Without Even Being Odd [My Copy] by Philip Wadler posted by 5 people dherman greenrd zednenem NU-PRL SRG_at_UCD
	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
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted by 10 people noam_zeilberger greenrd JeffreyPalmer cedricboidin zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
	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
	DSL implementation using staging and monads [My Copy] In Domain-Specific Languages (1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 9 people twleung JacquesC hamish greenrd JeffreyPalmer cedricboidin zednenem NU-PRL SRG_at_UCD
	Modular Object-Oriented Programming with Units and Mixins [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104. by Robert B. Findler, Matthew Flatt posted by 8 people samth dherman JacquesC JeffreyPalmer zednenem ryanc brothers NU-PRL
	Units: Cool Modules for HOT Languages [My Copy] In Proceedings of the ACM SIGPLAN~'98 Conference on Programming Language Design and Implementation (1998), pp. 236-248. by Matthew Flatt, Matthias Felleisen posted by 6 people dherman JeffreyPalmer zednenem lyongu ryanc NU-PRL
	A modal calculus for effect handling [My Copy] No. CMU-CS-03-149. (2003) by A. Nanevski posted by 4 people Scis0000002 greenrd zednenem SRG_at_UCD
	Termination checking with types [My Copy] (2002) by A. Abel posted by 7 people shimomura msakai greenrd zednenem SRG_at_UCD ardt Lambda the Ultimate
	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
	Functional pearl: implicit configurations--or, type classes reflect the values of types [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44. by Oleg Kiselyov, Chung-Chieh Shan posted by 8 people mstone hellige greenrd yallop zednenem AndreasSchropp SRG_at_UCD jimburton
	Inferring type isomorphisms generically [My Copy] by F. Atanassow, J. Jeuring posted by 3 people greenrd zednenem SRG_at_UCD
	Recursive make considered harmful [My Copy] (1997) by P. Miller posted by 5 people egh greenrd pcp zednenem SRG_at_UCD
	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 by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Value Recursion in Monadic Computations [My Copy] (2002) by L. Erkok posted by 5 people dherman glaubersp NU-PRL cognominal zednenem
	Attribute grammars as a functional programming paradigm [My Copy] In Functional Programming Languages and Computer Architecture (1987), pp. 154-173. by Thomas Johnsson posted by 6 people dherman jrw zednenem mbravenboer NU-PRL dfisher
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted by 6 people dherman jrw zednenem ryanc NU-PRL dfisher
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted by 25 people MatzeB azwinkau samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	Implementing Distributed Systems Using Linear Naming [My Copy] No. AITR-1627. (1993) by Alan Bawden posted by 3 people dherman zednenem NU-PRL
	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
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted by 3 people dherman zednenem NU-PRL
	Optimising Embedded DSLs using Template [My Copy] by Haskell S. Seefried posted by 5 people dherman jacob cedricboidin zednenem NU-PRL
	Gast: Generic automated software testing [My Copy] (2002) by P. Koopman, A. Alimarine, J. Tretmans, R. Plasmeijer posted by 2 people JeffreyPalmer zednenem
	Escaping the event loop: an alternative control structure for multi-threaded GUIs [My Copy] In EHCI (1995), pp. 69-87. by M. Fuchs posted by 6 people hamish JeffreyPalmer dsilva zednenem conal danlentz
	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 posted by 8 people JeffreyPalmer jrw zednenem damaru benchambers jpetry donniejones18 spl
	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 by 4 people JeffreyPalmer kinaba zednenem neuralwarp
	RAL: An Algebra for Querying RDF [My Copy] World Wide Web, Vol. 7, No. 1. (March 2004), pp. 83-109. by Flavius Frasincar, Geert-Jan Houben, Richard Vdovjak, Peter Barna posted by 2 people JeffreyPalmer zednenem
	Trampolined Style [My Copy] In International Conference on Functional Programming (1999), pp. 18-27. by Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 3 people JeffreyPalmer zednenem eblood
	Trampolining Architectures [My Copy] by Steven E. Ganz, Daniel P. Friedman posted by 5 people dalev JeffreyPalmer zednenem eblood NU-PRL
	Representing Monads [My Copy] In Conf.\ Record 21st ACM {SIGPLAN}-{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'94, Portland, {OR}, {USA}, 17--21 Jan.\ 1994 (1994), pp. 446-457. by Andrzej Filinski posted by 3 people JeffreyPalmer zednenem glaubersp
	Principles of programming with complex objects and collection types [My Copy] Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48. by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong posted by 8 people hellige JacquesC JeffreyPalmer zednenem ezrakilty jog NU-PRL WebTech
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted by 34 people mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin zednenem bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins SRG_at_UCD pileWorks cognominal benchambers kazuya hayeah mmarcus donniejones18
	A modular module system [My Copy] Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303. by Xavier Leroy posted by 5 people twleung JeffreyPalmer zednenem Ema KarlKlose
	A monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted by 6 people twleung JacquesC JeffreyPalmer tautologico zednenem NU-PRL
	AQuery: Query Language for Ordered Data, [My Copy] by Optimization T. And posted by 7 people twleung A_Olympia JeffreyPalmer zednenem stagediver Philosophy_of_Information Blog_and_Wiki_Research
	Why no one uses functional languages [My Copy] SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27. by Philip Wadler posted by 17 people samth twleung dherman jacob hamish greenrd voigt yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
	SSA is functional programming [My Copy] SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20. by Andrew W. Appel posted by 10 people samth dherman greenrd yallop JosephKoshy pejo voigt madhadron NU-PRL SRG_at_UCD
	1 [My Copy] by John Launchbury, Ross Paterson posted by 1 person zednenem
	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 by 1 person zednenem
	Embedding Prolog [My Copy] by In Haskell, Michael Spivey, Silvija Seres posted by 2 people shimomura zednenem
	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 1 person zednenem
	Lazy Lexing is Fast [My Copy] In Fuji International Symposium on Functional and Logic Programming (1999), pp. 68-84. by Manuel M. T. Chakravarty posted by 1 person zednenem
	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 by 1 person zednenem
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted by 1 person zednenem
	Towards an ML-Style Polymorphic Type System for C [My Copy] In European Symposium on Programming (1996), pp. 341-355. by Geoffrey Smith, Dennis M. Volpano posted by 1 person zednenem
	Linearity and Laziness [My Copy] In Functional Programming Languages and Computer Architecture (1991), pp. 215-240. by David Wakeling, Colin Runciman posted by 1 person zednenem
	Combining a Monad and a Comonad [My Copy] No. TR-99-33. (1999) by John Power, Hiroshi Watanabe posted by 3 people draganigajic zednenem sclv
	Call-by-Push-Value: A Subsuming Paradigm [My Copy] In Typed Lambda Calculus and Applications (1999), pp. 228-242. by Paul B. Levy posted by 1 person zednenem
	Adequacy for Algebraic Effects [My Copy] Lecture Notes in Computer Science, Vol. 2030 (2001) by Gordon Plotkin, John Power posted by 1 person zednenem
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted by 10 people robotact pedagand christiankissig zednenem madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	First-class Polymorphism with Type Inference [My Copy] In Conference Record of POPL~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 483-496. by Mark P. Jones posted by 1 person zednenem
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted by 4 people zednenem spl conal americovargas
	Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems [My Copy] (2001) by J. Regehr posted by 1 person zednenem
	Modular lazy search for constraint satisfaction problems [My Copy] (2001) by T. Nordin, A. Tolmach posted by 1 person zednenem
	Ordinal Arithmetic with List Structures [My Copy] In Logical Foundations of Computer Science (1992), pp. 117-126. by Nachum Dershowitz, Edward M. Reingold posted by 1 person zednenem
	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 by 1 person zednenem
	Compositional References for Stateful Functional Programming [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 217-226. by Koji Kagawa posted by 1 person zednenem
	A logic for parametric polymorphism [My Copy] In International Conference on Typed Lambda Calculi and Applications, No. 664. (1993), pp. 361-375. by Gordon Plotkin, Mart∈ Abadi edited by M. Bezem, J. F. Groote posted by 2 people tautologico zednenem
	Polytypic Functional Programming and Data abstraction [My Copy] (January 2006) by Pablo N. Iglesias posted by 1 person zednenem
	Category Theory as Coherently Constructive Lattice Theory: An Illustration [My Copy] No. 94-43. (1994) by Roland Backhouse, Marcel Bijsterveld posted by 4 people ansobol jrw zednenem scis0000001
	Type-Directed Concurrency [My Copy] by Deepak G. And posted by 3 people jrw zednenem harshrc
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted by 13 people pirapira algorithmic draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf Lambda the Ultimate namin
	Coalgebraic Reasoning about Classes in Object-Oriented Languages [My Copy] (1998) by B. Jacobs posted by 1 person zednenem
	Unified Algebra [My Copy] by E. Hehner, U. Algebra, Cs, et al. Edu, Ua, From, A. To posted by 1 person zednenem
	from boolean algebra to unified algebra [My Copy] (1997) by E. Hehner posted by 1 person zednenem
	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 by 3 people zednenem spl keigoi
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted by 8 people christiankissig jrw zednenem oryp6518 mstone rgb pileWorks cognominal
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted by 5 people jrw zednenem 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 by 2 people zednenem scis0000001
	Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. [My Copy] by Luc Duponcheel posted by 2 people jrw zednenem
	Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically [My Copy] Informatica (Lithuanian Academy of Sciences), Vol. 10, No. 1. (1999), pp. 5-26. by Tarmo Uustalu, Varmo Vene posted by 2 people zednenem glaubersp
	Pattern Guards and Transformational Patterns [My Copy] In Haskell Workshop (2000) by M. Erwig, Peyton S. L. Jones posted by 2 people jrw zednenem
	Logic-Based Knowledge Representation [My Copy] In Artificial Intelligence Today, Recent Trends and Developments, No. 1600. (1999), pp. 13-41. by F. Baader edited by M. J. Wooldridge, M. Veloso posted by 3 people jmaddi neilernst zednenem
	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 by 3 people jrw zednenem kowey
	Bootstrapping One-sided Flexible Arrays [My Copy] by Ralf Hinze posted by 2 people zednenem conal
	Computational Effects and Operations: An Overview [My Copy] by Gordon Plotkin, John Power posted by 3 people tautologico zednenem glaubersp
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted by 11 people sgwyj pedagand hubris mattmight msakai zednenem kavabean mstone bunge jennie dfisher
	Combining Effects: Sum and Tensor [My Copy] by Martin Hyland, Gordon Plotkin, John Power posted by 4 people zednenem scis0000001 glaubersp richardlp
	Architectural Modifications to Deployed Software [My Copy] (2004) by S. Klusener, R. Lämmel, C. Verhoef posted by 1 person zednenem
	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 by 1 person zednenem
	Typed logical variables in Haskell [My Copy] (2000) by K. Claessen, P. Ljungl posted by 4 people zednenem msakai jsala AndreasSchropp
	Mixin Modules in a Call-by-Value Setting [My Copy] In ESOP '02: Proceedings of the 11th European Symposium on Programming Languages and Systems (2002), pp. 6-20. by Tom Hirschowitz, Xavier Leroy posted by 1 person zednenem
	Call-by-Value Mixin Modules [My Copy] by Reduction S. Side posted by 1 person zednenem
	Domain Theory [My Copy] In Handbook of Logic in Computer Science Volume 3 (1994), pp. 1-168. by Samson Abramsky, Achim Jung edited by S. Abramsky, D. Gabbay, T. S. E. Maibaum posted by 3 people zednenem kolbusa ds
	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, Mark Shields, John Launchbury, Andrew P. Tolmach posted by 1 person zednenem
	Sound and Decidable Type Inference for [My Copy] by Functional D. Gregory posted by 2 people zednenem tov
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 11 people puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp NU-PRL ps_ttf
	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 by 1 person zednenem
	Comprehending Queries [My Copy] (1999) by T. Grust posted by 4 people zednenem mahler AndreasSchropp Rightscom
	More haste, less speed: lazy versus eager evaluation [My Copy] J. Funct. Program., Vol. 7, No. 5. (September 1997), pp. 541-547. by Richard Bird, Geraint Jones, Oege De Moor posted by 1 person zednenem
	Mixin modules and computational effects [My Copy] (2003) by D. Ancona, S. Fagorzi, E. Moggi, E. Zucca posted by 1 person zednenem
	Confluent Equational Reasoning for Linking with First-Class Primitive Modules [My Copy] (1999) by Joe Wells, René Vestergaard posted by 1 person zednenem
	Equational Reasoning for Linking with First-Class Primitive Modules [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 412-??. by J. B. Wells, René Vestergaard posted by 1 person zednenem
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted by 9 people draganigajic jrw zednenem damaru msakai bunge cognominal Lambda the Ultimate namin
	Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted by 3 people eaubin tautologico zednenem
	An Introduction to Reflection-Oriented Programming [My Copy] (1996) by J. Sobel, D. Friedman posted by 8 people assnoodles jolilius aufrank zednenem neuralwarp NU-PRL TUCS-ES_Lab ur-cls
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted by 9 people noam_zeilberger bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL