JeffreyPalmer's Top Recommendations

These recommendations were last updated about an hour ago.

	Predicate Dispatching: A Unified Theory of Dispatch [My Copy] In ECOOP '98: 12th European Conference on Object-Oriented Programming, Brussels, Belgium, Vol. 1445 (1998), pp. 186-211. by Michael D. Ernst, Crag Kaplan, Craig Chambers posted by 10 people twleung JacquesC hamish A_Olympia greenrd water451 NU-PRL Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
	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 9 people sourada twleung dherman eaubin JacquesC hamish stagediver keigoi NU-PRL
	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
	Growing languages with metamorphic syntax macros [My Copy] In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 31-40. by Claus Brabrand, Michael I. Schwartzbach posted by 11 people samth twleung dherman JacquesC hamish yallop mbravenboer luhong c_m_h NU-PRL dfisher
	There's no substitute for linear logic [My Copy] (December 1991) by P. Wadler posted by 5 people twleung dherman JacquesC tautologico NU-PRL
	Recursion is a computational effect [My Copy] (2000) by D. Friedman, A. Sabry posted by 7 people twleung dherman JacquesC greenrd jrw NU-PRL SRG_at_UCD
	Aspect-Oriented Compilers [My Copy] Lecture Notes in Computer Science, Vol. 1799 (2000) by Oege d. de Moor, Simon Peyton-Jones, Eric V. Van Wyk posted by 7 people twleung dherman JacquesC A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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
	the denotational semantics of staged execution of open code [My Copy] (2004) by A. Pitts, T. Sheard posted by 4 people twleung eaubin JacquesC NU-PRL
	Phobos: A front-end approach to extensible compilers [My Copy] (2002) by A. Granicz, J. Hickey posted by 7 people sourada twleung dherman jacob JacquesC damaru NU-PRL
	Concrete syntax for data objects in functional languages [My Copy] In LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 96-105. by Annika Aasa, Kent Petersson, Dan Synek posted by 4 people twleung dherman JacquesC NU-PRL
	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
	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
	Separation of Object Identity Concerns [My Copy] by Pascal Costanza posted by 5 people twleung hamish greenrd water451 SRG_at_UCD
	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
	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
	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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	On LISP: Advanced Techniques for Common LISP [My Copy] (09 September 1993) by Paul Graham posted by 8 people puzza hamish pdlug jarkko water451 Anyzev brothers robertlischke
	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
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 11 people puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp NU-PRL ps_ttf
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted by 11 people ama08r dherman JacquesC greenrd cedricboidin zednenem msakai bonotake NU-PRL SRG_at_UCD mcclurmc
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted by 20 people jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins NU-PRL SRG_at_UCD dfisher americovargas
	Scalaris: reliable transactional p2p key/value store [My Copy] In ERLANG '08: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG (2008), pp. 41-48. by Thorsten Schütt, Florian Schintke, Alexander Reinefeld posted by 11 people puzza mperalta dowlingj dmeister kzk_mover myui mitake ejones vslatten tatemura kuenishi
	A more accurate semantics for distributed erlang [My Copy] In ERLANG '07: Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop (2007), pp. 43-54. by Hans Svensson, Lars Fredlund posted by 2 people puzza ama08r
	Real World Haskell [My Copy] (01 December 2008) by Bryan O'Sullivan, John Goerzen, Don Stewart posted by 6 people puzza serebryakov dsquared MartinSchuerrer incognito DavidChemouil
	Why functional programming matters [My Copy] The Computer Journal, Vol. 32 (1989), pp. 98-107. by John Hughes posted by 2 people puzza donniejones18
	Actors with Multi-headed Message Receive Patterns [My Copy] Coordination Models and Languages (2008), pp. 315-330. by Martin Sulzmann, Edmund Lam, Peter Van Weert posted by 2 people puzza jago
	A high performance Erlang system [My Copy] In Principles and Practice of Declarative Programming (2000), pp. 32-43. by Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas posted by 2 people puzza hspinks
	All you wanted to know about the HiPE compiler (but might have been afraid to ask) [My Copy] by K. Sagonas, M. Pettersson, R. Carlsson, P. Gustafsson, T. Lindahl posted by 2 people puzza hspinks
	A history of Erlang [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Joe Armstrong posted by 2 people puzza egh
	Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language [My Copy] In CODAS (1996), pp. 363-366. by Hans Nilsson, Claes Wikstrom posted by 2 people puzza ChasRMartin
	Monadification of functional programs [My Copy] Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 101-129. by Martin Erwig, Deling Ren posted by 3 people puzza spl keigoi
	HiPE on AMD64 [My Copy] In ERLANG '04: Proceedings of the 2004 ACM SIGPLAN workshop on Erlang (2004), pp. 38-47. by Daniel Luna, Mikael Pettersson, Konstantinos Sagonas posted by 4 people puzza camster pejo dbk-lab
	Generalising monads to arrows [My Copy] Sci. Comput. Program., Vol. 37, No. 1-3. (2000), pp. 67-111. by John Hughes posted by 8 people puzza eaubin jrw cedricboidin tautologico jharai conal cognominal
	Linear Abadi and Plotkin Logic [My Copy] (1 Nov 2006) by Lars Birkedal, Rasmus E. Møgelberg, Rasmus L. Petersen posted by 2 people JacquesC NU-PRL
	Generalized Functions and Infinitesimals [My Copy] (8 Oct 2006) by Jf posted by 2 people JacquesC NU-PRL
	Towards Applicative Relational Programming [My Copy] (28 Feb 2006) by H. Ibrahim, M. H. van Emden posted by 3 people JacquesC NU-PRL ps_ttf
	Combining decision procedures for the reals [My Copy] (31 Jan 2006) by Jeremy Avigad, Harvey Friedman posted by 2 people JacquesC NU-PRL
	Implementing an Efficient Theorem Prover [My Copy] by Alexandre Riazanov posted by 3 people JacquesC stavros NU-PRL
	Automatic enumeration of regular objects [My Copy] (12 Jul 2005) by Marni Mishna posted by 2 people JacquesC NU-PRL
	What is beautiful is usable [My Copy] Interacting with Computers, Vol. 13, No. 2. (December 2000), pp. 127-145. by N. Tractinsky posted by 26 people extremeboredom matatk Sus-IT mjparnell kgajos rabourn JacquesC sylvienoel russellbeale ryanshaw serwe marije archer aku8000 wigelius mrajanen christiand NU-PRL CSCW sims_phd_cohort_2005 digital_youth Virtual_Reality HCI-Bham HCI-IHTE-TUT samsalisbury randomname
	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
	$My PDF voigtl&\#228;nder_02_concatenate.pdf$ Concatenate, reverse and map vanish for free [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 14-25. by Janis Voigtl&\#228;nder posted by 6 people JacquesC rwtodd pejo voigt msakai NU-PRL
	Implementing extensible theorem provers [My Copy] (1999) by K. Fisler, S. Krishnamurthi, K. Gray posted by 3 people dherman JacquesC NU-PRL
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted by 8 people blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL spl
	Building interpreters by composing monads [My Copy] In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492. by Guy Steele edited by Ac posted by 7 people JacquesC rwtodd cedricboidin bunge Benja glaubersp NU-PRL
	Learning the parts of objects by non-negative matrix factorization. [My Copy] Nature, Vol. 401, No. 6755. (21 October 1999), pp. 788-791. by D. D. Lee, H. S. Seung posted by 23 people bcao bertelsen kohei-h ppeeling JacquesC davidr dragonrez anar jfr yas yama_tah pliz scis0000001 oannes cerkut atbrew zeppe NU-PRL T_lab Regulomics_UCHSC contact-id kintoki cager
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted by 9 people bulwahn eaubin JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL
	Generalized symbolic execution for model checking and testing [My Copy] (2003) by S. Khurshid, C. Pasareanu, W. Visser posted by 3 people gchpaco JacquesC NU-PRL
	Information flow analysis in logical form [My Copy] (2004) by T. Amtoft, A. Banerjee posted by 4 people gchpaco JacquesC aysubetincan NU-PRL
	Observable Sequentiality and Full Abstraction [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342. by Robert Cartwright, Matthias Felleisen posted by 4 people eaubin JacquesC ds NU-PRL
	An introduction to Grothendieck topologies, fibered categories and descent theory [My Copy] (28 December 2004) by Angelo Vistoli posted by 4 people JacquesC NU-PRL jrw proportional
	Proof-Theoretic Notions for Software Maintenance [My Copy] by Reinhard Kahle posted by 6 people sourada JacquesC A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	A Call-by-Need Lambda Calculus [My Copy] In Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1995), pp. 233-246. by Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler posted by 8 people dherman JacquesC rwtodd jrw cedricboidin tautologico kat NU-PRL
	User Defined Syntax [My Copy] (1992) by Annika Aasa posted by 3 people dherman JacquesC NU-PRL
	The Formulae-as-Types Notion of Control [My Copy] In Conf.\ Record 17th Annual ACM Symp.\ on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17--19 Jan 1990 (1990), pp. 47-57. by Timothy G. Griffin posted by 4 people dherman JacquesC ds NU-PRL
	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
	CPS Translations and Applications: The Cube and Beyond (Preliminary Report) [My Copy] In Proc.\ of 2nd ACM SIGPLAN Workshop on Continuations, CW'97, Paris, France, 14 Jan.\ 1997 (1996) by Gilles Barthe, John Hatcliff, M. H. B. Morten edited by O. Danvy posted by 5 people dherman JacquesC japple NU-PRL fensef
	Schrödinger's Token [My Copy] Software --- Practice and Experience, Vol. 31 (2001), pp. 803-814. by John Aycock, R. Nigel Horspool posted by 3 people dherman JacquesC NU-PRL
	Meta-programming With Built-in Type Equality [My Copy] by Exte N. Ed posted by 3 people eaubin JacquesC NU-PRL