Robert J. Simmons's Top Recommendations

These recommendations were last updated about an hour ago.

	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
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted by 10 people ama08r ConcertRG spl pedagand voigt p1738j aleks Benja Compilers paper_jac
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65. by Adam Chlipala posted by 5 people ConcertRG pedagand mvermaat Lambda the Ultimate jkominek
	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
	Ott: effective tool support for the working semanticist [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 1-12. by Peter Sewell, Francesco Z. Nardelli, Scott Owens, et al.Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strniša posted by 3 people ConcertRG marcinzalewski pedagand
	Tangible functional programming [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 59-70. by Conal M. Elliott posted by 3 people ConcertRG draganigajic pedagand
	Stratified type inference for generalized algebraic data types [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 232-244. by François Pottier, Yann R. Gianas posted by 4 people ConcertRG draganigajic jrw pedagand
	Relational parametricity and units of measure [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 442-455. by Andrew J. Kennedy posted by 4 people ConcertRG fvogels draganigajic pedagand
	A unified theory of garbage collection [My Copy] In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2004), pp. 50-68. by David F. Bacon, Perry Cheng, V. T. Rajan posted by 4 people ConcertRG mstone pedagand haberman
	The reflexive CHAM and the join-calculus [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 372-385. by Cédric Fournet, Georges Gonthier posted by 3 people ConcertRG ama08r pedagand
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted by 6 people robotact ConcertRG kozima spl varming bfraser
	Formal certification of a compiler back-end or: programming a compiler with a proof assistant [My Copy] SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 42-54. by Xavier Leroy posted by 2 people ConcertRG pedagand
	Beauty in the beast [My Copy] In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 25-36. by Wouter Swierstra, Thorsten Altenkirch posted by 2 people ConcertRG pedagand
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted by 9 people ConcertRG fvogels byorgey amp269 voigt spl paper_jac robdockins nominolo
	TypeCase: a design pattern for type-indexed functions [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 98-109. by Bruno, Jeremy Gibbons posted by 4 people ConcertRG yallop voigt spl
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted by 5 people ConcertRG samth JeffreyPalmer voigt NU-PRL
	Macros as multi-stage computations: type-safe, generative, binding macros in MacroML [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 74-85. by Steven E. Ganz, Amr Sabry, Walid Taha posted by 7 people ConcertRG samth dherman luhong c_m_h NU-PRL dfisher
	Letters to the editor: go to statement considered harmful [My Copy] Commun. ACM, Vol. 11, No. 3. (1 March 1968), pp. 147-148. by Edsger W. Dijkstra posted by 15 people azwinkau thermostat bedieber akuhn ConcertRG silberbauer PReCISE gsaval hamish dullhunk eyliu chandlerc myouhuhao rdyer Laboratory for Software Design
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted by 12 people ConcertRG mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 Rightscom masteraka marcinzalewski Scis0000002
	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 233-246. by J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt posted by 6 people ConcertRG spl sstrickl mahler robennals Rightscom
	Typed memory management via static capabilities [My Copy] ACM Trans. Program. Lang. Syst., Vol. 22, No. 4. (July 2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted by 3 people ConcertRG dsilva criswell
	Syntactic type abstraction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 22, No. 6. (November 2000), pp. 1037-1080. by Dan Grossman, Greg Morrisett, Steve Zdancewic posted by 2 people ConcertRG dsilva
	Extensible programming with first-class cases [My Copy] SIGPLAN Not. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Vol. 41, No. 9. (2006), pp. 239-250. by Matthias Blume, Umut A. Acar, Wonseok Chae posted by 4 people fgeller ConcertRG tov RalfMitschke
	Assessing security threats of looping constructs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 225-235. by Pasquale Malacaria posted by 3 people ConcertRG ama08r ddemange
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted by 7 people ConcertRG JeffreyPalmer zednenem josefs voigt mahler Rightscom
	An expressive language of signatures [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40. by Norman Ramsey, Kathleen Fisher, Paul Govereau posted by 4 people ConcertRG thsutton zednenem josefs
	A very modal model of a modern, major, general type system [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 109-122. by Andrew W. Appel, Paul A. Melliès, Christopher D. Richards, Jérôme Vouillon posted by 1 person ConcertRG
	What are principal typings and what are they good for? [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 42-53. by Trevor Jim posted by 4 people ConcertRG pnkfelix JeffreyPalmer tautologico
	Modular type classes [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 63-70. by Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller posted by 2 people ConcertRG mcclurmc
	Engineering formal metatheory [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 3-15. by Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich posted by 5 people ConcertRG mvermaat fvogels bdauvergne marcinzalewski
	The geometry of interaction machine [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 198-208. by Ian Mackie posted by 3 people ConcertRG scis0000001 fensef
	Destructors, finalizers, and synchronization [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 262-272. by Hans J. Boehm posted by 4 people ConcertRG tautologico salagnac Verimag
	Choice in Dynamic Linking [My Copy] Foundations of Software Science and Computation Structures (2004), pp. 12-26. by Martín Abadi, Georges Gonthier, Benjamin Werner posted by 2 people ConcertRG rzach
	Principal Type Schemes for Modular Programs [My Copy] Programming Languages and Systems (2007), pp. 441-457. by Derek Dreyer, Matthias Blume posted by 2 people ConcertRG ama08r
	Parametric polymorphism and operational equivalence [My Copy] Mathematical. Structures in Comp. Sci., Vol. 10, No. 3. (June 2000), pp. 321-359. by Andrew M. Pitts posted by 2 people ConcertRG voigt
	Extensible pattern matching via a lightweight language extension [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 29-40. by Don Syme, Gregory Neverov, James Margetson posted by 2 people ConcertRG fvogels
	A theory of aspects [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 127-139. by David Walker, Steve Zdancewic, Jay Ligatti posted by 2 people ConcertRG kklo
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 54-65. by Adam Chlipala posted by 2 people ConcertRG mwmarkland
	Branching vs. Linear Time: Semantical Perspective [My Copy] Automated Technology for Verification and Analysis (2007), pp. 19-34. by Sumit Nain, Moshe Vardi posted by 2 people ConcertRG fdechesn
	Compiling with continuations, continued [My Copy] In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (2007), pp. 177-190. by Andrew Kennedy posted by 1 person ConcertRG
	Abstract Predicates and Mutable ADTs in Hoare Type Theory [My Copy] Programming Languages and Systems (2007), pp. 189-204. by Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal posted by 2 people neelk ConcertRG
	Lightweight fusion by fixed point promotion [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 143-154. by Atsushi Ohori, Isao Sasano posted by 2 people ConcertRG wtribbey
	Beautiful differentiation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202. by Conal M. Elliott posted by 2 people prahlad ConcertRG
	An indexed model of recursive types for foundational proof-carrying code [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 5. (September 2001), pp. 657-683. by Andrew W. Appel, David Mcallester posted by 2 people ConcertRG emiliorp
	Harmless advice [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 383-396. by Daniel S. Dantas, David Walker posted by 2 people ConcertRG oscar
	Checking Interference with Fractional Permissions [My Copy] Static Analysis (2003), pp. 1075-1075. by John Boyland posted by 2 people ConcertRG hyas
	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
	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 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
	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
	Contracts for higher-order functions [My Copy] In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 48-59. by Robert B. Findler, Matthias Felleisen posted by 4 people ConcertRG samth ryanc NU-PRL
	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
	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
	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
	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
	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 Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted by 16 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur pileWorks masteraka popx marcinzalewski
	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
	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
	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
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted by 9 people mattmight dimvar samth JeffreyPalmer dsilva calvins eblood NU-PRL bfraser
	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
	Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted by 13 people brothers amp269 draganigajic pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
	The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition (2nd Edition) [My Copy] (12 August 1995) by Frederick P. Brooks posted by 33 people sphelps azwinkau muratp1 thermostat smogit robertlischke michaelbanks hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova asilva jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture bfraser leonardo cmalek
	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
	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
	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
	Xen and the art of virtualization [My Copy] In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 164-177. by Paul Barham, Boris Dragovic, Keir Fraser, et al.Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield posted by 49 people jdgraeve thermostat adit262 raoul1024 priteau pkt zhensong sachingarg mitake akshayk pwais Highly-Available Services at UTCN bmarincas brucellino urvoy Gauravsomani pedagand eolmedo kywk carlblesius muli sammydre diwakergupta dmikurube rahul dcraven criswell baurm vivianniu unitial watersong kartoch takatosi cybrpunk rkb Blog_and_Wiki_Research mgh-lcs WAND hst-bmi SRL sysnet dopsy napvasconcelos yarapavan mrry csong srinivas_krishnan king_yous dmeister
	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
	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
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted by 11 people seno ddemange michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	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
	Time, clocks, and the ordering of events in a distributed system [My Copy] Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565. by Leslie Lamport posted by 40 people kistijantoro raoul1024 parnell pkt michaelbanks henrykploetz rhishi ricardoaraujo verma7 pedagand mercutio egh A_Olympia ejones EasonCheng balicea farrellee pilho mstone muraken rblake ljcamargos fmc abetaha bendiken rlai jfischer JuliusDegesys john_ardelius saintedlama Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs MITCCI mahendra_kutare agupta0318 HenryR NSumner The Atlas Room muli
	The under-appreciated unfold [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 273-279. by Jeremy Gibbons, Geraint Jones posted by 3 people pedagand calvins spl
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted by 9 people fierykylin robotact scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	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
	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
	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted by 11 people jweslley pedagand draganigajic joelh lomeo pilho calvins functional programming mcclurmc sclv jpbernardy
	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
	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
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted by 8 people jcreed draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup 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
	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
	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
	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
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	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
	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
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	Imperative functional programming [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84. by Simon, Philip Wadler posted by 3 people draganigajic spl pedagand
	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
	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
	The semantic elegance of applicative languages [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (1981), pp. 85-92. by D. A. Turner posted by 3 people pedagand draganigajic spl
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256. by Cormac Flanagan posted by 8 people ama08r pedagand greenrd dsilva bec janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	Dependent Types for Low-Level Programming [My Copy] Programming Languages and Systems (2007), pp. 520-535. by Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George Necula posted by 5 people ddemange HailunTan ama08r jkominek pedagand
	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
	Composing monads using coproducts [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph Lüth, Neil Ghani posted by 7 people christiankissig bulwahn mstone rgb pileWorks pedagand Lambda the Ultimate