jsiek's Top Recommendations

These recommendations were last updated about an hour ago.

	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
	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
	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
	Improving the static analysis of embedded languages via partial evaluation [My Copy] In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27. by David Herman, Philippe Meunier posted by 11 people samth dherman jacob JacquesC hamish JeffreyPalmer dsilva andymaule ryanc KarlKlose NU-PRL
	Composable and compilable macros: You want it when [My Copy] (2002) by M. Flatt posted by 12 people sourada assnoodles samth dherman pnkfelix ryanc tov jkominek c_m_h cdiggins NU-PRL dfisher
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted by 7 people samth dherman hamish jrw ryanc NU-PRL dfisher
	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
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted by 6 people dherman jrw zednenem ryanc NU-PRL dfisher
	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 dmeister azwinkau akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins NU-PRL danlentz
	The evolution of Lisp [My Copy] In The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 231-270. by Guy Steele, Richard P. Gabriel posted by 10 people azwinkau egh samth dherman hamish jrw zzkt 4vgacias jkominek NU-PRL
	Automatically Restructuring Programs for the Web [My Copy] Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364. by Jacob Matthews, Robert B. Findler, Paul Graunke, Shriram Krishnamurthi, Matthias Felleisen posted by 6 people samth jacob JeffreyPalmer yallop NU-PRL dfisher
	Modular Object-Oriented Programming with Units and Mixins [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104. by Robert B. Findler, Matthew Flatt posted by 8 people samth dherman JacquesC JeffreyPalmer zednenem ryanc brothers NU-PRL
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by C. Mcbride posted by 10 people ConcertRG robertjohnsimmons mattmight pedagand dherman eaubin zednenem josefs ryanc NU-PRL
	Attribute grammars as a functional programming paradigm [My Copy] In Functional Programming Languages and Computer Architecture (1987), pp. 154-173. by Thomas Johnsson posted by 6 people dherman jrw zednenem mbravenboer NU-PRL dfisher
	Expansion-Passing Style: A General Macro Mechanism [My Copy] Lisp and Symbolic Computation: An International Journal, Vol. 1, No. 1. (1988), pp. 53-76. by R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes posted by 6 people samth dherman ryanc NU-PRL hayeah 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
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted by 7 people twleung dherman hamish jrw ryanc NU-PRL 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
	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
	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
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted by 11 people ama08r claudiamichelle jkominek spl tarampam samth dherman tautologico croys ben_moseley NU-PRL
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	Parsing expression grammars: a recognition-based syntactic foundation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122. by Bryan Ford posted by 7 people pedagand fgeller msakai spl dherman jrw NU-PRL
	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
	First-class macros have types [My Copy] In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141. by Alan Bawden posted by 7 people pedagand samth ryanc tov c_m_h NU-PRL dfisher
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted by 12 people azwinkau mattmight assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov NU-PRL jkominek
	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
	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
	Compilers: Principles, Techniques, and Tools (2nd Edition) [My Copy] (31 August 2006) by Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman posted by 13 people robotact jmmcg riah pnpo NickGasson Neeperando dherman mldechert NU-PRL chandlerc dfisher rob_quill jasmithoffice
	Maya: multiple-dispatch syntax extension in Java [My Copy] In Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 270-281. by Jason Baker, Wilson C. Hsieh posted by 5 people samth dherman mbravenboer NU-PRL dfisher
	Hygienic macro expansion [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 151-161. by Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce Duba posted by 5 people mattmight samth dherman ryanc NU-PRL
	Control flow analysis in scheme [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174. by O. Shivers posted by 9 people robertjohnsimmons mattmight dimvar higepon samth jacob tov NU-PRL pedagand
	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
	A Reduction Semantics for Imperative Higher-Order Languages [My Copy] In Proceedings of the Parallel Architectures and Languages Europe, Volume I (1987), pp. 206-223. by Matthias Felleisen, Daniel P. Friedman posted by 4 people samth jacob ryanc NU-PRL
	Programming languages as operating systems (<italic>or</italic> revenge of the son of the lisp machine) [My Copy] In Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 138-147. by Matthew Flatt, Robert B. Findler, Shriram Krishnamurthi, Matthias Felleisen posted by 7 people samth hamish dsilva hannes ryanc jkominek 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
	Towards a theory of type structure [My Copy] In Programming Symposium, Proceedings Colloque sur la Programmation (1974), pp. 408-423. by John C. Reynolds posted by 7 people zkincaid jkominek assnoodles yallop tautologico calvins NU-PRL
	Combinator parsers: From toys to tools [My Copy] (2001) by S. Swierstra posted by 4 people dherman jrw NU-PRL dfisher
	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
	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
	Implementing Extensible Compilers [My Copy] In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001) by Matthias Zenger, Martin Odersky posted by 5 people dherman jrw mbravenboer NU-PRL dfisher
	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
	Writing hygienic macros in Scheme with syntax-case. [My Copy] No. TR 356. (1992) by Kent R. Dybvig posted by 4 people dherman jkominek NU-PRL dfisher
	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
	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
	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
	Extensible Syntax with Lexical Scoping [My Copy] No. 121. (1994) by Luca Cardelli, Florian Matthes, Martin Abadi posted by 6 people dherman jrw mbravenboer c_m_h NU-PRL dfisher
	Modeling an Algebraic Stepper [My Copy] Lecture Notes in Computer Science by John Clements, Matthew Flatt, Matthias Felleisen posted by 4 people samth dherman ryanc NU-PRL
	A Tail-Recursive Semantics for Stack Inspections [My Copy] Lecture Notes in Computer Science, pp. 22-37. by John Clements, Matthias Felleisen posted by 4 people samth dherman ryanc NU-PRL
	Optimising Embedded DSLs using Template [My Copy] by Haskell S. Seefried posted by 5 people dherman jacob cedricboidin zednenem NU-PRL
	On Evaluation Contexts, Continuations, [My Copy] by O. Danvy posted by 4 people dherman jacob bunge NU-PRL
	A new approach to the construction of Generalized LR parsing algorithms [My Copy] (1997) by M. Pardo, D. Souto, M. Ferro posted by 4 people dherman jrw ryanc NU-PRL
	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
	Writing macros in continuation-passing style [My Copy] (2000) by E. Hilsdale, D. Friedman posted by 4 people dherman ryanc NU-PRL dfisher
	SSA is functional programming [My Copy] SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20. by Andrew W. Appel posted by 10 people samth dherman greenrd yallop JosephKoshy pejo voigt madhadron NU-PRL SRG_at_UCD
	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
	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
	Revised$^5$ Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. (editors) posted by 10 people mattmight higepon samth dherman pnkfelix alec tov NU-PRL dfisher d23
	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
	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
	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
	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
	Inheritance is not subtyping [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135. by William R. Cook, Walter Hill, Peter S. Canning posted by 8 people Security in SOA emiliorp dherman amorkan lyongu ryanc NU-PRL mcclurmc
	Object-Oriented Style [My Copy] by Daniel F. Indiana posted by 4 people dherman ryanc NU-PRL dfisher
	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
	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
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Featherweight Java: A Minimal Core Calculus for Java and GJ [My Copy] In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146. by Atshushi Igarashi, Benjamin Pierce, Philip Wadler edited by Loren Meissner posted by 7 people joker13 samth yang KarlKlose sjrogers NU-PRL mcclurmc
	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
	The SCHEME programming language [My Copy] (1987) by R. Kent Dybvig posted by 4 people samth ryanc jkominek NU-PRL
	The next 700 programming languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by P. J. Landin posted by 20 people azwinkau robertjohnsimmons bfraser ConcertRG spl josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal
	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
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted by 11 people sgwyj pedagand hubris mattmight msakai zednenem kavabean mstone bunge jennie 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
	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
	Syntactic Closures [My Copy] In Proceedings of the 1988 ACM Conference on {LISP} and Functional Programming, Snowbird, {UT} (1988), pp. 86-95. by A. Bawden, J. Rees posted by 3 people dherman NU-PRL dfisher
	A correspondence between continuation passing style and static single assignment form [My Copy] In Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, Vol. 30, No. 3. (March 1995), pp. 13-22. by Richard A. Kelsey posted by 4 people samth NU-PRL mcclurmc bfraser
	Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned [My Copy] SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269. by Olin Shivers posted by 6 people samth jrw dsilva pejo tov NU-PRL
	The scheme 311 compiler an exercise in denotational semantics [My Copy] In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 356-364. by William Clinger posted by 4 people dalev samth ryanc NU-PRL
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted by 6 people tautologico bunge ds americovargas yoriyuki pedagand
	A New Way of Debugging Lisp Programs [My Copy] (1998) by C. Flanagan, M. Felleisen posted by 5 people pedagand higepon samth JeffreyPalmer NU-PRL
	Object-oriented units of measurement [My Copy] In Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications (2004), pp. 384-403. by Eric Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy Steele posted by 6 people davidmihalcik samth hamish bunge NU-PRL wspeng
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	Relational Properties of Domains [My Copy] Information and Computation, Vol. 127, No. 2. (1996), pp. 66-90. by Andrew M. Pitts posted by 3 people dherman jrw NU-PRL
	The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) [My Copy] (1978) by Guy L. Steele, Gerald J. Sussman posted by 7 people samth hamish JeffreyPalmer ryanc tov NU-PRL hayeah
	Models of continuations without continuations [My Copy] In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 185-196. by Dorai Sitaram, Matthias Felleisen posted by 7 people samth twleung jacob JacquesC JeffreyPalmer dsilva NU-PRL
	Representing control in the presence of one-shot continuations [My Copy] In Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, Vol. 31, No. 5. (May 1996), pp. 99-107. by Carl Bruggeman, Oscar Waddell, R. Kent Dybvig posted by 5 people samth ryanc muraken tov NU-PRL
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted by 12 people shimomura samth marcin msakai kozima keigoi TTSY dhag NU-PRL complogic mcclurmc jpbernardy
	Extending the scope of syntactic abstraction [My Copy] In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 203-215. by Oscar Waddell, R. Kent Dybvig posted by 4 people samth ryanc c_m_h NU-PRL
	Syntactic closures [My Copy] In Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 86-95. by Alan Bawden, Jonathan Rees posted by 3 people samth ryanc NU-PRL
	Proper tail recursion and space efficiency [My Copy] In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 174-185. by William D. Clinger posted by 10 people egh samth marcoil pnkfelix JeffreyPalmer dsilva ryanc ajk tov NU-PRL
	Revised<supscrpt>5</supscrpt> report on the algorithmic language scheme [My Copy] SIGPLAN Not., Vol. 33, No. 9. (September 1998), pp. 26-76. by I. Adams, D. H. Bartley, G. Brooks, et al.R. K. Dybvig, D. P. Friedman, R. Halstead, C. Hanson, C. T. Haynes, E. Kohlbecker, D. Oxley, K. M. Pitman, G. J. Rozas, J. Steele, G. J. Sussman, M. Wand, H. Abelson posted by 3 people samth ryanc NU-PRL
	Expansion-passing style: beyond conventional macros [My Copy] In Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 143-150. by R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes posted by 3 people samth ryanc NU-PRL
	A Universal Scripting Framework or Lambda: The Ultimate "Little Language" [My Copy] In Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security (1996), pp. 254-265. by Olin Shivers posted by 3 people samth ryanc NU-PRL
	Abstracting control [My Copy] In Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 151-160. by Olivier Danvy, Andrzej Filinski posted by 4 people samth jacob dsilva NU-PRL
	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
	Register allocation using lazy saves, eager restores, and greedy shuffling [My Copy] In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 130-138. by Robert G. Burger, Oscar Waddell, R. Kent Dybvig posted by 3 people samth ryanc NU-PRL
	The revised report on the syntactic theories of sequential control and state [My Copy] Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 235-271. by Matthias Felleisen, Robert Hieb posted by 5 people samth dsilva NU-PRL mcclurmc gkuan
	A syntactic theory of sequential control [My Copy] Theor. Comput. Sci., Vol. 52, No. 3. (June 1987), pp. 205-237. by M. Felleisen, D. P. Friedman, E. Kohlbecker, B. Duba posted by 3 people samth dherman NU-PRL