talototo's Top Recommendations

These recommendations were last updated 61 days ago.

	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
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 28 people TU-KL-SoftwareTechnologyGroup janschaefer bfraser 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
	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
	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
	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
	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
	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
	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
	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
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted by 7 people darinm dherman tautologico spl ryanc NU-PRL jimburton
	Local Type Inference [My Copy] In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265. by Benjamin C. Pierce, David N. Turner posted by 6 people draganigajic tautologico suizan jfischer gkuan pedagand
	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
	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
	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
	Dynamic Typing in a Statically Typed Language [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268. by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin posted by 11 people twleung dherman jacob tautologico oliverh amorkan lyongu hannes clausej cogumbreiro NU-PRL
	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
	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
	Domain-Specific Languages: An Annotated Bibliography [My Copy] SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36. by Arie v. van Deursen, Paul Klint, Joost Visser posted by 8 people twleung JacquesC hamish JeffreyPalmer mldechert NU-PRL jimburton JavaJoe
	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
	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
	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
	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
	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
	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
	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
	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
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted by 3 people draganigajic tautologico 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
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted by 8 people shimomura jimburton greenrd voigt p1738j msakai meiersi SRG_at_UCD
	Notable design patterns for domain-specific languages [My Copy] Journal of Systems and Software, Vol. 56, No. 1. (1 February 2001), pp. 91-99. by D. Spinellis posted by 15 people thoni78 pnpo RalfMitschke twleung JacquesC hamish JeffreyPalmer stagediver leonardo francoisl dynamix klinsz mldechert NU-PRL JavaJoe
	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
	Combinators for Layered Software Architectures [My Copy] by Martijn M. Schrage, Johan Jeuring, Doaitse Swierstra posted by 6 people twleung JacquesC hamish JeffreyPalmer stagediver NU-PRL
	Monads and Effects [My Copy] (2000) by Nick Benton, John Hughes, Eugenio Moggi posted by 5 people MartinSchuerrer draganigajic JeffreyPalmer tautologico glaubersp
	A Taste of Linear Logic [My Copy] In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993) by P. L. Wadler posted by 5 people pedagand twleung dherman tautologico NU-PRL
	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
	Stochastic lambda calculus and monads of probability distributions [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted by 7 people dherman tautologico mahler mstone NU-PRL Rightscom pedagand
	Representing Control: A study of the CPS transformation [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391. by Olivier Danvy, Andrzej Filinski posted by 10 people puzza pedagand yoriyuki twleung dherman JeffreyPalmer NU-PRL mvermaat ch jkominek
	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
	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
	On Understanding Types, Data Abstraction, and Polymorphism [My Copy] ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted by 10 people dherman tautologico amorkan lyongu ben_moseley bunge fmc Leho NU-PRL dmeister
	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
	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
	Quasiquotation in Lisp [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12. by Alan Bawden posted by 12 people samth dalev twleung marcoil dherman JacquesC hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	DSL implementation using staging and monads [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 10 people bfraser sourada twleung dherman eaubin JacquesC hamish stagediver keigoi NU-PRL
	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
	Chord: A Scalable Peer-To-Peer Lookup Service for Internet Applications [My Copy] In Proceedings of the 2001 ACM SIGCOMM Conference (2001), pp. 149-160. by Ion Stoica, Robert Morris, David Karger, Frans Kaashoek, Hari Balakrishnan posted by 25 people gerold sototozo draganigajic pdlug scottmoody pool007 jmlon rblake cchhrriiss fmc smallbadguy mrkoot utopianheaven adri davcer ariels 18th-century_history_culture_and_society semantic-multicast-routing SNE uiuc-cs pedagand gvdh hayeah dmeister sfuniak
	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
	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
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL 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
	Reasoning about continuations with control effects [My Copy] In PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, Vol. 24, No. 7. (July 1989), pp. 218-226. by P. Jouvelot, D. K. Gifford posted by 6 people samth twleung dherman tautologico dsilva NU-PRL
	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
	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
	Dynamic Typing in Polymorphic Languages [My Copy] In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications (June 1992) by M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, D. Rèmy posted by 4 people twleung dherman tautologico NU-PRL
	A Modal Language for Effects [My Copy] by Sungwoo Park, Robert Harper posted by 4 people twleung dherman tautologico NU-PRL
	Another Essence of Dataflow Programming [My Copy] by Ben Denckla posted by 3 people draganigajic dherman NU-PRL
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 4 people draganigajic dherman Benja NU-PRL
	CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. [My Copy] (1994) by Henry G. Baker posted by 6 people dherman JeffreyPalmer tautologico pjd NU-PRL jkominek
	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
	Dynamic Typing as Staged Type Inference [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 289-302. by Mark Shields, Tim Sheard, S. L. P. Simon posted by 5 people twleung dherman eaubin tautologico NU-PRL
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted by 6 people draganigajic jburnim lomeo bringert Lambda the Ultimate namin
	Formal methods: state of the art and future directions [My Copy] ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643. by Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, et al.Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave posted by 5 people mishra_satish rgrig citeilike SRG_at_UCD jimburton
	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
	Lambda Calculi with Types [My Copy] In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992) by Henk Barendregt posted by 11 people darinm pnkfelix tautologico xiemaisi Benja glaubersp ds AS-IIS_ReadingGroup mmarcus jimburton d23
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted by 8 people ama08r assnoodles samth twleung pnkfelix tautologico NU-PRL bfraser
	The Problem with Threads [My Copy] Computer, Vol. 39, No. 5. (2006), pp. 33-42. by E. A. Lee posted by 13 people fierykylin jweslley hubris amp269 draganigajic scottmoody craigtalbert mdekruijf 7oby semantic-multicast-routing pedagand DickSilver dmeister
	Realistic Compilation by Program Transformation [My Copy] In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292. by Richard Kelsey, Paul Hudak posted by 12 people kvm egh twleung jacob rgrig JacquesC JeffreyPalmer jrw zednenem josefs NU-PRL SRG_at_UCD
	Linked: How Everything Is Connected to Everything Else and What It Means [My Copy] (29 April 2003) by Albert-Laszlo Barabasi posted by 140 people gena senseable-urb fjanoos arkas rprince ulmer kinop borkurdotnet scottmoody davidleitner simdoc makrehchi fierykylin tomhebbron boosda Information Integration Architecture mxro thegoose rickl MariaChiaraP pdlug nazimkeven eddymier mboehmer ajaymalik pacianca3 donade einatb gastarblogger fbr maike emre panisson Adso gkoenig mattjb mooniii pick600 germoglio hrwiltse laurobeltrao nigini camster draggin korakot Mandre A_Olympia zephoria RyanSchultz fmatthes scholz barry cyprien riadlem lehel zinp nkorf tautai wcrosbie cchesher cmmorel jekky Typewriter mbliemel Jenneke cgjj slariccia irinas petzlux marije seawidget hannont matteodellamico leonardo bibliothecaire bigbossman krisl spirit_of_numenor cristinaalp brusilovsky jwdietrich britton cerkut awooga mzygmunt azygmunt RafG jaspervoskuilen kevinemamy timflutre alexevasion flavian_vasile mattlandau PaulBHartzog roland_ewald jenna anansi sidds1601 rkalvi JimFolk CMU-HCII Philosophy_of_Information dbk-lab Blog_and_Wiki_Research automatic_summarization structural_bioinformatics CSCW MathBio ASR digital_youth Sociology Librarians Semantic-Social-Networks Wikipedia CoP_CMS Bioinformatics folksonomy ETEC533 CMS Cybernetics social_navigation ComplexAdaptiveSystems Biomedical_Cybernetics AGH-IISG Adaptive-Web dIEMoSIRIS MoSi-Rostock AQUA-FONTIS-Study MASSS CSU_School_of_Education Web2-0_Education asrilova Social Web anton-tayanovskyy ICT4D aelzaim copyculture kamccollum kikimu thecolourblue
	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
	First-class polymorphism with type inference [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496. by Mark P. Jones posted by 3 people draganigajic spl pedagand
	Constructive Mathematics and Computer Programming [My Copy] Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518. by P. Martin-Lof posted by 7 people pirapira ansobol jrw Scis0000002 Constructivity jimburton Lambda the Ultimate
	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted by 12 people mattmight jweslley pedagand draganigajic joelh lomeo pilho calvins functional programming mcclurmc sclv jpbernardy
	A Static Semantics for Haskell [My Copy] (2002) by K. Faxen posted by 4 people draganigajic greenrd cdiggins 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
	The groupoid interpretation of type theory [My Copy] (1995) by M. Hofmann, T. Streicher posted by 4 people draganigajic Scis0000002 mcclurmc Lambda the Ultimate
	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
	Two Ways to Bake Your Pizza - Translating Parameterised Types into Java [My Copy] In Selected Papers from the International Seminar on Generic Programming (2000), pp. 114-132. by Martin Odersky, Enno Runne, Philip Wadler posted by 2 people jimburton Lambda the Ultimate
	Meta-programming with Concrete Object Syntax [My Copy] In The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (2002), pp. 299-315. by Eelco Visser posted by 7 people assnoodles twleung dherman JacquesC mbravenboer stagediver NU-PRL
	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
	Extensional equality in intensional type theory [My Copy] Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420. by T. Altenkirch posted by 6 people jimburton A_Olympia greenrd Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
	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
	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 Theory of Objects [My Copy] (1996) by Martin Abadi, Luca Cardelli posted by 5 people draganigajic mcclurmc Lambda the Ultimate gugamar fheintz