JacquesC's Top Recommendations

These recommendations were last updated 23 minutes ago.

	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
	What are principal typings and what are they good for? [My Copy] In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53. by Trevor Jim edited by Ac posted by 5 people twleung dherman JeffreyPalmer croys NU-PRL
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted by 7 people twleung dherman eaubin JeffreyPalmer mahler NU-PRL Rightscom
	The ZINC experiment : an economical implementation of the ML language [My Copy] No. RT-0117. (February 1990) by Xavier Leroy posted by 6 people twleung dherman eaubin JeffreyPalmer JosephKoshy NU-PRL
	Is there a use for linear logic? [My Copy] In PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Vol. 26, No. 9. (September 1991), pp. 255-273. by Philip Wadler posted by 5 people twleung dherman rwtodd tautologico NU-PRL
	The marriage of effects and monads [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74. by Philip Wadler posted by 8 people sourada twleung dherman cedricboidin tautologico ben_moseley scis0000001 NU-PRL
	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
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted by 9 people olegus twleung JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins conal
	Reasoning with continuations II: full abstraction for models of control [My Copy] In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 161-175. by Dorai Sitaram, Matthias Felleisen posted by 6 people samth twleung JeffreyPalmer cedricboidin dsilva NU-PRL
	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
	Representation-based just-in-time specialization and the psyco prototype for python [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 15-26. by Armin Rigo posted by 6 people sourada twleung dherman kschiess yang NU-PRL
	Phobos: A front-end approach to extensible compilers [My Copy] (2002) by A. Granicz, J. Hickey posted by 4 people twleung dherman NU-PRL dfisher
	A new look at pattern matching in abstract data types [My Copy] In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, Vol. 31, No. 6. (June 1996), pp. 110-121. by Pedro P. Gostanza, Ricardo Pe&\#241;a, Manuel N&\#250;&\#241;ez posted by 4 people twleung dherman jrw NU-PRL
	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
	Contrasting Exceptions and Continuations [My Copy] by H. Thielecke posted by 3 people twleung dherman NU-PRL
	Typed Exceptions and Continuations Cannot Macro-Express Each Other [My Copy] Lecture Notes in Computer Science, Vol. 1644 (1999) by Jon G. Riecke, Hayo Thielecke posted by 3 people twleung dherman NU-PRL
	From control effects to typed continuation passing [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. 139-149. by Hayo Thielecke posted by 4 people samth twleung dherman NU-PRL
	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
	CPS transformation of flow information [My Copy] J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 905-923. by Jens Palsberg, Mitchell Wand posted by 4 people dalev twleung dherman NU-PRL
	Set Constraints for Destructive Array Update Optimization [My Copy] In ICCL '98: Proceedings of the 1998 International Conference on Computer Languages (1998) by M. Wand, W. D. Clinger posted by 3 people twleung dherman 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
	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 4 people twleung dherman tov NU-PRL
	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
	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
	From Polyvariant Flow Information to Intersection and Union Types [My Copy] In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 197-208. by Jens Palsberg, Christina Pavlopoulou posted by 3 people twleung dherman NU-PRL
	The Essence of Eta-Expansion in Partial Evaluation [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 3. (1995), pp. 209-227. by Olivier Danvy, Karoline Malmkj\aer, Jens Palsberg posted by 3 people twleung dherman NU-PRL
	Eta-expansion does the trick [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 6. (1996), pp. 730-751. by Olivier Danvy, Karoline Malmkj\aer, Jens Palsberg posted by 3 people twleung dherman NU-PRL
	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules [My Copy] by Oleg Kiselyov posted by 5 people twleung dherman ryanc NU-PRL dfisher
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted by 7 people twleung dherman hamish jrw ryanc NU-PRL dfisher
	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
	Jiazzi: New-Age Components for Old-Fashioned Java [My Copy] In Proc. of OOPSLA (oct 2001) by S. Mcdirmid, M. Flatt, W. Hsieh posted by 5 people samth twleung dherman ryanc NU-PRL
	Pointcuts and advice in higher-order languages [My Copy] In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 158-167. by David B. Tucker, Shriram Krishnamurthi posted by 7 people twleung dherman plaugg dsilva guyomarj mig29x NU-PRL
	A Modal Language for Effects [My Copy] by Sungwoo Park, Robert Harper posted by 4 people twleung dherman tautologico NU-PRL
	The Ins and Outs of Clean I/O [My Copy] Journal of Functional Programming, Vol. 5, No. 1. (1995), pp. 81-110. by Peter Achten, Marinus J. Plasmeijer posted by 3 people twleung dherman NU-PRL
	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
	Web Interactions [My Copy] by Paul T. Graunke posted by 2 people twleung JeffreyPalmer
	An overview of Types in Compilation [My Copy] (1998) by X. Leroy posted by 3 people twleung hamish JeffreyPalmer
	Reflections on Standard ML [My Copy] In Functional Programming, Concurrency, Simulation and Automated Reasoning (1993), pp. 32-46. by David B. Macqueen posted by 5 people samth twleung JeffreyPalmer lyongu NU-PRL
	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
	How To Obtain Powerful Parsers That Are Elegant and Practical [My Copy] by P. Pepper posted by 3 people twleung JeffreyPalmer knopeace
	Imperative streams—a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted by 7 people twleung greenrd JeffreyPalmer jrw zednenem josefs SRG_at_UCD
	Discrete Event Simulation in Erlang [My Copy] by Andreas Ermedahl posted by 8 people puzza camster twleung hamish JeffreyPalmer jrw ljcamargos dbk-lab
	The HiPE/x86 Erlang Compiler: System Description [My Copy] by And P. Evaluation posted by 4 people puzza twleung JeffreyPalmer jrw
	All you wanted to know about the HiPE compiler [My Copy] by But M. Have posted by 4 people puzza twleung JeffreyPalmer jrw
	The development of the HiPE system: Design and experience report [My Copy] (2002) by E. Johansson, M. Pettersson, K. Sagonas, T. Lindgren posted by 2 people twleung JeffreyPalmer
	Exploring alternative memory architectures for Erlang: Implementation and performance evaluation [My Copy] (2002) by J. Wilhelmsson posted by 4 people puzza twleung JeffreyPalmer jrw
	Distributed Programming in Erlang [My Copy] (1994) by C. Wikstrom posted by 5 people egh twleung CarlosSantos JeffreyPalmer stagediver
	A Comparison Between Erlang and C++ for Implementation of Telecom Applications [My Copy] (1995) by T. Et, J. Grafstrom posted by 3 people puzza twleung JeffreyPalmer
	The Development of Erlang [My Copy] In International Conference on Functional Programming (1997), pp. 196-203. by Joe L. Armstrong posted by 5 people puzza karld twleung JeffreyPalmer jrw
	Design Patterns for Simulations in Erlang/OTP [My Copy] by Ulf Ekström posted by 7 people functional programming puzza camster twleung JeffreyPalmer lcoquelle dbk-lab
	Concurrent Programming in Erlang, Second Edition [My Copy] (1996) by Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams posted by 3 people myspl twleung JeffreyPalmer
	Evolving Domain Specific Languages [My Copy] by Project S. We posted by 6 people sourada twleung hamish JeffreyPalmer stagediver bkohler
	Using State Modules for Adaptive Query Processing [My Copy] (2003) by V. Raman, A. Deshpande, J. Hellerstein posted by 2 people twleung JeffreyPalmer
	Query Languages and Data Models for Database [My Copy] by Sequences A. Data posted by 10 people network01 mzn_munna pawelt talototo twleung JeffreyPalmer stagediver pilho skim yangxian
	Fjording the Stream: An Architecture for Queries Over Streaming Sensor Data [My Copy] In ICDE (2002) by Sam Madden, Michael J. Franklin posted by 2 people twleung JeffreyPalmer
	Load management and high availability in the Medusa distributed stream processing system [My Copy] In SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data (2004), pp. 929-930. by Magdalena Balazinska, Hari Balakrishnan, Michael Stonebraker posted by 2 people twleung JeffreyPalmer
	Retrospective on Aurora [My Copy] The VLDB Journal, Vol. 13, No. 4. (December 2004), pp. 370-383. by Balakrishnan, Hari, Balazinska, et al. Magdalena, Carney, Don, Cetintemel, Ugur, Cherniack, Mitch, Convey, Christian, Galvez, Eddie, Salz, Jon, Stonebraker, Michael, Tatbul, Nesime, Tibbetts, Richard, Zdonik, Stan posted by 3 people twleung JeffreyPalmer neilc
	A Comparison of Stream-Oriented High-Availability Algorithms [My Copy] (2003) by J. Hwang posted by 6 people twleung JeffreyPalmer rahul water451 neilc SRL
	Aurora: a new model and architecture for data stream management [My Copy] The VLDB Journal, Vol. 12, No. 2. (August 2003), pp. 120-139. by Daniel J. Abadi, Don Carney, Ugur &\#199;etintemel, et al.Mitch Cherniack, Christian Convey, Sangdon Lee, Michael Stonebraker, Nesime Tatbul, Stan Zdonik posted by 6 people dexter_shen twleung JeffreyPalmer carueda dhinton isis-mic
	Adaptive query processing: A survey [My Copy] (2002) by A. Gounaris, N. Paton, A. Fernandes, R. Sakellariou posted by 6 people gerold twleung JeffreyPalmer mhossein gane5h zflavio
	Rate-Based Query Optimization for Streaming Information Sources [My Copy] In SIGMOD Conference (2002) by Stratis Viglas, Jeffrey F. Naughton posted by 2 people twleung JeffreyPalmer
	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
	The CQL continuous query language: Semantic foundations and query execution [My Copy] (2003) by A. Arasu, S. Babu, J. Widom posted by 3 people twleung JeffreyPalmer neilc
	Streaming for Dummies [My Copy] by Stan Z. Peter posted by 7 people twleung A_Olympia JeffreyPalmer lar neilc Philosophy_of_Information Blog_and_Wiki_Research
	Streaming Queries over Streaming Data [My Copy] (2002) by S. Chandrasekaran, M. Franklin posted by 5 people twleung JeffreyPalmer lar water451 neilc
	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
	Lazy vs Strict [My Copy] ACM Computing Surveys, Vol. 28, No. 2. (1996), pp. 318-320. by Philip Wadler posted by 5 people dherman rwtodd cedricboidin ben_moseley NU-PRL
	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
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted by 3 people dherman JeffreyPalmer NU-PRL
	Type-directed partial evaluation [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 242-257. by Olivier Danvy posted by 4 people dherman JeffreyPalmer keigoi NU-PRL
	Language embeddings that preserve staging and safety [My Copy] (19 Sep 2005) by Todd L. Veldhuizen posted by 3 people dherman JeffreyPalmer NU-PRL
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted by 6 people dherman pnkfelix JeffreyPalmer mbravenboer ryanc NU-PRL
	Real-time FRP [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 146-156. by Zhanyong Wan, Walid Taha, Paul Hudak posted by 5 people dherman JeffreyPalmer dsilva NU-PRL dfisher
	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
	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
	No Assembly Required: Compiling Standard ML to C [My Copy] ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177. by David Tarditi, Peter Lee, Anurag Acharya posted by 7 people samth dherman hamish JeffreyPalmer anoopsarkar satrajit 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
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted by 5 people dherman hellige JeffreyPalmer lyongu NU-PRL
	A Universal Scripting Framework [My Copy] by Or L. The posted by 5 people marcoil dherman hamish JeffreyPalmer NU-PRL
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted by 9 people dimvar samth dherman eaubin pnkfelix JeffreyPalmer ryanc tov NU-PRL
	SETL fot Internet Data Processing [My Copy] by David Bacon posted by 3 people assnoodles twleung NU-PRL
	Working for Free? - Motivations of Participating in Open Source Projects [My Copy] In HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 (2001) by A. Hars, S. Ou posted by 14 people pridkett twleung magnusenger A_Olympia Yeliz jarkko ohauge hpiwowar Philosophy_of_Information Blog_and_Wiki_Research OpenArchive SU_FLOSS DSD-Lab NTNU-OSS
	Separation of Object Identity Concerns [My Copy] by Pascal Costanza posted by 5 people twleung hamish greenrd water451 SRG_at_UCD
	Typesafe Dynamic Classification [My Copy] by Jürgen Schlegelmilch posted by 3 people twleung greenrd SRG_at_UCD
	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 51 people senseable-urb 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
	A measurement study of the bittorrent peer-to-peer file-sharing system [My Copy] (2004) by J. Pouwelse, P. Garbacki, D. Epema, H. Sips posted by 17 people Reines twleung A_Olympia ansobol nazareno elsantosneto pawel p2p-sec jenine muppala carlos1818 Philosophy_of_Information Blog_and_Wiki_Research SITCRC Computer_Networks Embedded_Systems_And_Software fredronn
	Fast and flexible forwarding for Internet subscription systems [My Copy] In DEBS '03: Proceedings of the 2nd international workshop on Distributed event-based systems (2003), pp. 1-8. by Joanna Kulik posted by 2 people twleung bobwyman
	Incentives Build Robustness in BitTorrent [My Copy] (2003) by Bram Cohen posted by 40 people elsantosneto boxun matteodellamico loqman tinto101 chenmoucheng aliku korakot twleung A_Olympia nazareno cocentaina JmSeigneur rahul bj junbin Harold324 garo p2p-sec jenine mcalster macle yang dickstar fmc remos brogle carlos1818 Philosophy_of_Information Blog_and_Wiki_Research SRL Netmob P2P SITCRC DHT tomek0001 gecyasar jos jodal alcober
	Filtering algorithms and implementation for very fast publishash subscribe systems [My Copy] SIGMOD Record (ACM Special Interest Group on Management of Data), Vol. 30, No. 2. (2001), pp. 115-126. by Fran\ccoise Fabret, H. Arno Jacobsen, Fran\ccois Llirbat, João Pereira, Kenneth A. Ross, Dennis Shasha posted by 5 people twleung bobwyman scottmoody sugarexpletive semantic-multicast-routing
	Languages of the Future [My Copy] by Tim Sheard posted by 7 people twleung eaubin bdauvergne mahler tov Rightscom americovargas
	Integrating normalization-by-evaluation into a staged programming language [My Copy] (1998) by T. Sheard posted by 2 people twleung eaubin
	Tagless staged interpreters for typed languages [My Copy] (2002) by E. Pasalic, W. Taha, T. Sheard posted by 5 people twleung eaubin mahler cdiggins Rightscom
	Chord: a scalable peer-to-peer lookup protocol for internet applications [My Copy] IEEE/ACM Trans. Netw., Vol. 11, No. 1. (February 2003), pp. 17-32. by Ion Stoica, Robert Morris, David Liben-Nowell, et al.David R. Karger, M. Frans Kaashoek, Frank Dabek, Hari Balakrishnan posted by 22 people ptony82 ecarlini BelliOS aliku twleung fdabek devzero sit joseph yannawu p2p-sec zicat wolfhe alcober miguelez brogle vanderbilt-multimedia P2P XMLDataManagement Crypto Subgrup4 DHT
	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
	Building interpreters by composing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 472-492. by Guy Steele posted by 6 people bhoward JeffreyPalmer rwtodd jolilius keigoi TUCS-ES_Lab
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	Optimising Embedded DSLs using Template [My Copy] by Haskell S. Seefried posted by 5 people dherman jacob cedricboidin zednenem NU-PRL
	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
	Building domain-specific embedded languages [My Copy] ACM Comput. Surv., Vol. 28, No. 4es. (1996), 196. by Paul Hudak posted by 9 people cblock jacob hamish JeffreyPalmer cedricboidin brady mldechert mcclurmc RalfMitschke
	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