lomeo's Top Recommendations

These recommendations were last updated 17 days ago.

	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 27 people 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
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted by 16 people pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc NU-PRL jimburton Lambda the Ultimate dfisher
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted by 14 people draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins NU-PRL SRG_at_UCD BMeph jimburton Lambda the Ultimate
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted by 17 people Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose Rightscom SRG_at_UCD mcclurmc robotact jimburton Lambda the Ultimate americovargas
	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 L&\#228;mmel, Keean Schupke posted by 13 people pedagand keigoi JacquesC yallop spl tov iff NU-PRL americovargas msakai marcinzalewski shimomura jimburton
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted by 11 people samth pedagand draganigajic twleung dherman JacquesC greenrd tov sclv 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
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted by 25 people jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins NU-PRL GroupLens SRL hayeah frej
	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 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted by 23 people 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
	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
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted by 14 people draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds NU-PRL mcclurmc Lambda the Ultimate
	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
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted by 20 people GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl Lambda the Ultimate namin mvermaat d23 SamB enochguimond MikolkaMikolka logics of knowledge
	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
	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
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted by 13 people jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand functional programming mcclurmc Lambda the Ultimate namin sclv
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted by 12 people pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic jpbernardy
	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
	Generics for the masses [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243. by Ralf Hinze posted by 8 people draganigajic ancechu samth yallop spl bringert NU-PRL pedagand
	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
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted by 11 people ama08r draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton Lambda the Ultimate shimomura
	Modular Domain Specific Languages and Tools [My Copy] In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142. by Paul Hudak edited by P. Devanbu, J. Poulin posted by 11 people draganigajic JacquesC hamish JeffreyPalmer cedricboidin stagediver bunge mldechert NU-PRL jimburton Lambda the Ultimate
	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 by 13 people ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy SRG_at_UCD jimburton
	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
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted by 14 people talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip Leho SRG_at_UCD jimburton Lambda the Ultimate mvermaat zuleger
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted by 8 people spl mkis samth greenrd yallop NU-PRL SRG_at_UCD 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
	Epigram: Practical Programming with Dependent Types [My Copy] Advanced Functional Programming (2005), pp. 130-170. by Conor Mcbride posted by 6 people Benja jimburton draganigajic mcclurmc Lambda the Ultimate pedagand
	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
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted by 6 people ama08r jmmcg draganigajic tov brecknell pedagand
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted by 14 people azwinkau akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins NU-PRL danlentz dmeister
	Views: a way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313. by P. Wadler posted by 9 people pedagand fvogels jimburton samth dherman robennals NU-PRL dfisher spl
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted by 14 people pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	$My PDF l&\#228;mmel_04_scrap.pdf$ Scrap more boilerplate: reflection, zips, and generalised casts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf L&\#228;mmel, Simon P. Jones posted by 7 people samth greenrd yallop spl NU-PRL SRG_at_UCD americovargas
	Composable and compilable macros: You want it when [My Copy] (2002) by M. Flatt posted by 12 people sourada assnoodles samth dherman pnkfelix ryanc tov jkominek c_m_h cdiggins NU-PRL dfisher
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted by 8 people ama08r talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted by 7 people draganigajic twleung greenrd cedricboidin SRG_at_UCD Lambda the Ultimate namin
	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
	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
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted by 8 people draganigajic rgrig amorkan lyongu ds SRG_at_UCD Lambda the Ultimate jimburton
	A tutorial on the universality and expressiveness of fold [My Copy] J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372. by Graham Hutton posted by 7 people ConcertRG robertjohnsimmons pedagand draganigajic functional programming mcclurmc jimburton
	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
	Lambda: The Ultimate Imperative [My Copy] (1976) by Guy L. Steele, Gerald J. Sussman posted by 11 people samth numata rahul Benja ajk tov brothers NU-PRL SRL mbrentharp Lambda the Ultimate
	Calculating Functional Programs [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 149-202. by Jeremy Gibbons posted by 4 people draganigajic pedagand Lambda the Ultimate namin
	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
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted by 12 people ama08r talototo darinm draganigajic dherman tautologico bdauvergne radico mstone sclv NU-PRL pedagand
	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
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted by 10 people ama08r shimomura michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted by 8 people mattmight draganigajic dherman jrw NU-PRL Lambda the Ultimate namin donniejones18
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted by 11 people ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup mcclurmc Lambda the Ultimate
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted by 7 people ama08r pedagand draganigajic msakai keigoi cognominal spl
	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
	Fold and unfold for program semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted by 5 people draganigajic mcclurmc Lambda the Ultimate msakai spl
	A new notation for arrows [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240. by Ross Paterson posted by 10 people draganigajic eaubin rwtodd jrw cedricboidin tautologico jolilius TUCS-ES_Lab cognominal pedagand
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 7 people keigoi draganigajic spl bringert shimomura mcclurmc pedagand
	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
	Template meta-programming for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16. by Tim Sheard, Simon P. Jones posted by 10 people spl samth twleung dherman JacquesC ryanc bringert wtribbey NU-PRL jimburton
	Implementation Strategies for First-Class Continuations [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45. by William D. Clinger, Anne H. Hartheimer, Eric M. Ost posted by 13 people assnoodles samth twleung marcoil jacob eaubin JacquesC JeffreyPalmer yallop ryanc tov jkominek NU-PRL
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted by 20 people azwinkau robertjohnsimmons bfraser ConcertRG spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	Lock Free Data Structures Using STM in Haskell [My Copy] Functional and Logic Programming (2006), pp. 65-80. by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh posted by 5 people draganigajic pedagand brecknell keigoi msakai
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted by 6 people ConcertRG draganigajic pedagand keigoi msakai nominolo
	A functional-logic library for wired [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48. by Matthew Naylor, Emil Axelsson, Colin Runciman posted by 4 people draganigajic msakai keigoi pedagand
	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
	The design of a pretty-printing library [My Copy] Advanced Functional Programming (1995), pp. 53-96. by John Hughes posted by 4 people msakai draganigajic pedagand yoriyuki
	An embedded domain-specific language for type-safe server-side web scripting [My Copy] ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46. by Peter Thiemann posted by 9 people frangaiz draganigajic greenrd JeffreyPalmer jipibanf stagediver onekin SRG_at_UCD pedagand
	Java(TM) Language Specification, The (3rd Edition) (Java Series) [My Copy] (08 July 2005) by James Gosling, Bill Joy, Guy Steele, Gilad Bracha posted by 13 people samth greenrd plaugg dullhunk tov 7oby bringert NU-PRL SRG_at_UCD cruediger federicopaoloni myui sven_luzar
	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 by 8 people bfraser draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	The essence of compiling with continuations [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted by 10 people higepon samth JeffreyPalmer yallop dsilva JosephKoshy ryanc NU-PRL pedagand jkominek
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted by 8 people spl conal greenrd yallop kinaba voigt SRG_at_UCD americovargas
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted by 5 people draganigajic dalev dherman NU-PRL pedagand
	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
	Typing Haskell in Haskell [My Copy] (1999) by M. Jones posted by 6 people functional programming SamB draganigajic dtim cdiggins pedagand
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell [My Copy] by Simon P. Jones posted by 7 people draganigajic p1738j croys scook0 glaubersp pedagand SamB
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted by 10 people ddemange mattmight keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted by 4 people draganigajic mcclurmc jimburton Lambda the Ultimate
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted by 5 people draganigajic keigoi tov jimburton Lambda the Ultimate
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL pedagand
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted by 12 people shimomura samth marcin msakai kozima keigoi TTSY dhag NU-PRL complogic mcclurmc jpbernardy
	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
	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
	Lisp: Good News, Bad News, How to Win Big [My Copy] (JanuaryMarch~ 1994) by Richard P. Gabriel posted by 6 people ddemange draganigajic hamish bfraser brothers pedagand
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted by 6 people tov pedagand dherman bec voigt NU-PRL
	Improving the static analysis of embedded languages via partial evaluation [My Copy] In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27. by David Herman, Philippe Meunier posted by 11 people samth dherman jacob JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose NU-PRL
	Control flow analysis in scheme [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by O. Shivers posted by 9 people robertjohnsimmons mattmight dimvar higepon samth jacob tov NU-PRL pedagand
	First-class macros have types [My Copy] In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141. by Alan Bawden posted by 7 people pedagand samth ryanc tov c_m_h NU-PRL dfisher
	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
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted by 12 people kozima pedagand JeffreyPalmer voigt msakai bonotake dmitri83 aleks EdwardKmett Benja Compilers mcclurmc
	Composing contracts: an adventure in financial engineering (functional pearl) [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292. by Simon P. Jones, Jean M. Eber, Julian Seward posted by 3 people draganigajic pedagand jimburton
	Types as abstract interpretations [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 316-331. by Patrick Cousot posted by 4 people draganigajic pedagand Lambda the Ultimate KarlKlose
	Implementing DSLs in metaOCaml [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 41-42. by Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar Swadi, Walid Taha posted by 9 people twleung dherman JacquesC hamish JeffreyPalmer lyongu NU-PRL Lambda the Ultimate namin
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted by 7 people samth dherman hamish jrw ryanc NU-PRL dfisher
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	A Static Semantics for Haskell [My Copy] (2002) by K. Faxen posted by 4 people draganigajic greenrd cdiggins SRG_at_UCD
	Programmable Syntax Macros [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1993), pp. 156-165. by Daniel Weise, Roger F. Crew posted by 9 people assnoodles samth twleung dherman JacquesC hamish cdiggins NU-PRL dfisher
	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
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted by 7 people dimvar ama08r robotact ddemange fvogels draganigajic pedagand
	Arrows, robots, and functional reactive programming [My Copy] (2002) by P. Hudak, A. Courtney, H. Nilsson, J. Peterson posted by 7 people draganigajic davidmihalcik calvins vlasovskikh serebryakov kazuya pedagand