twleung's Top Recommendations

These recommendations were last updated 15 minutes ago.

	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
	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
	Once upon a type [My Copy] In Functional Programming Languages and Computer Architecture (1995) by David N. Turner, Philip Wadler, Christian Mossin posted by 11 people dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin tautologico robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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
	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
	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
	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
	Modular Domain Specific Languages and Tools [My Copy] In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142. by Paul Hudak edited by P. Devanbu, J. Poulin posted by 11 people draganigajic JacquesC hamish JeffreyPalmer cedricboidin stagediver bunge mldechert NU-PRL jimburton Lambda the Ultimate
	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
	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
	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
	A Universal Scripting Framework [My Copy] by Or L. The posted by 5 people marcoil dherman hamish JeffreyPalmer NU-PRL
	Synthesizing Object-Oriented and Functional Design to Promote Re-Use [My Copy] In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman posted by 8 people samth dherman JacquesC A_Olympia spl NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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
	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
	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 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	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
	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
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted by 6 people dherman pnkfelix JeffreyPalmer mbravenboer ryanc NU-PRL
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted by 7 people samth dherman hamish jrw ryanc NU-PRL dfisher
	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
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted by 5 people dherman hellige JeffreyPalmer lyongu 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
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted by 3 people dherman JeffreyPalmer 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
	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
	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 9 people egh samth dherman hamish jrw zzkt 4vgacias jkominek NU-PRL
	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 11 people mattmight assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov NU-PRL jkominek
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted by 12 people pedagand draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic jpbernardy
	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
	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
	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
	Principles of programming with complex objects and collection types [My Copy] Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48. by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong posted by 8 people hellige JacquesC JeffreyPalmer zednenem ezrakilty jog NU-PRL WebTech
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon P. Jones, Mark Shields, John Launchbury, Andrew Tolmach posted by 7 people JacquesC JeffreyPalmer rwtodd voigt spl kowey NU-PRL
	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
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted by 8 people dherman greenrd msakai ryanc ben_moseley NU-PRL SRG_at_UCD americovargas
	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
	A Modal $λ$ Calculus with Iteration and Case Constructs [My Copy] No. RR-3322. by Pierre Leleu posted by 3 people JacquesC JeffreyPalmer 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
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted by 6 people dherman jrw zednenem ryanc NU-PRL dfisher
	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
	How to Add Laziness to a Strict Language Without Even Being Odd [My Copy] by Philip Wadler posted by 5 people dherman greenrd zednenem NU-PRL SRG_at_UCD
	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
	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
	User Defined Syntax [My Copy] (1992) by Annika Aasa posted by 3 people dherman JacquesC NU-PRL
	Implementing extensible theorem provers [My Copy] (1999) by K. Fisler, S. Krishnamurthi, K. Gray posted by 3 people dherman JacquesC NU-PRL
	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
	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
	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
	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
	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
	Contract Soundness for object-oriented languages [My Copy] In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 1-15. by Robert B. Findler, Matthias Felleisen posted by 6 people dherman A_Olympia dsilva NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	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
	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
	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
	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
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted by 7 people darinm dherman tautologico spl ryanc NU-PRL jimburton
	Polymorphic syntax definition [My Copy] In AMiLP '95: Proceedings of the first international AMAST workshop on Algebraic methods in language processing (1998), pp. 57-86. by Eelco Visser posted by 6 people aliku dherman A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Domain Theory [My Copy] by Corrected, Expanded posted by 6 people dherman jrw cedricboidin msakai scis0000001 NU-PRL
	A practical soft type system for scheme [My Copy] ACM Trans. Program. Lang. Syst., Vol. 19, No. 1. (January 1997), pp. 87-152. by Andrew K. Wright, Robert Cartwright posted by 5 people samth JeffreyPalmer dsilva shaurz NU-PRL
	A Way of Making World Quantification Explicit [My Copy] Logic Journal of the IGPL, Vol. 12, No. 3., 199. by Stefano Baratella, Andrea Masini posted by 5 people dherman A_Olympia NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted by 8 people mattmight draganigajic dherman jrw NU-PRL Lambda the Ultimate namin donniejones18
	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
	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
	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
	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
	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
	Type Systems for object-oriented programming languages [My Copy] No. STAN-CS-TR-98-1602. (1996) by K. Fisher posted by 4 people dherman tautologico ryanc NU-PRL
	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
	The similarity metric [My Copy] (5 August 2004) by Ming Li, Xin Chen, Xin Li, Bin Ma, Paul Vitanyi posted by 26 people chrisd camster nettraq sourada korakot frednicolier flip parmentierf JacquesC mafwood A_Olympia mortimer arthit gangli maqianli NU-PRL Philosophy_of_Information UoY-CS-AIG dbk-lab Blog_and_Wiki_Research automatic_summarization tulip AI mpoloton markymaypo ARTFL
	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
	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
	The Java syntactic extender (JSE) [My Copy] In Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 31-42. by Jonthan Bachrach, Keith Playford posted by 7 people assnoodles samth dherman JacquesC creswick NU-PRL dfisher
	A tail-recursive machine with stack inspection [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 6. (November 2004), pp. 1029-1052. by John Clements, Matthias Felleisen posted by 4 people samth dherman dsilva 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
	On Understanding Types, Data Abstraction, and Polymorphism [My Copy] ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted by 10 people dherman tautologico amorkan lyongu ben_moseley bunge fmc Leho NU-PRL dmeister
	Combinator parsers: From toys to tools [My Copy] (2001) by S. Swierstra posted by 4 people dherman jrw NU-PRL dfisher
	A functional correspondence between evaluators and abstract machines [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19. by Mads S. Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard posted by 6 people jpbernardy dherman jacob eaubin jespera NU-PRL
	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 6 people fgeller msakai spl dherman jrw NU-PRL
	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
	An information-theoretic definition of similarity [My Copy] In Proc. 15th International Conf. on Machine Learning (1998), pp. 296-304. by Dekang Lin posted by 44 people memming jkominek WIT-KA jiria camster dbk sourada korakot LeightonP frednicolier parmentierf JacquesC mortimer mote lwilliams jelsas jtextori barry ingo gangli garyfeng okarsligil onlyme gaudan macavity1g streptomyces NU-PRL Philosophy_of_Information UoY-CS-AIG dbk-lab Blog_and_Wiki_Research structural_bioinformatics tulip ReadingLab ASR ISI NLP SLA Bioinformatics LanguageAndBrain AI Tronhus CitoJam sgoetz
	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
	Rolling your own mutable ADT—a connection between linear types and monads [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted by 4 people dherman tautologico NU-PRL mcclurmc
	Pretty printing with lazy dequeues [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 163-184. by Olaf Chitil posted by 5 people dherman rgrig NU-PRL SRG_at_UCD mzp
	Basic Polymorphic Typechecking [My Copy] Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172. by Luca Cardelli posted by 4 people dherman tautologico NU-PRL nodakai
	The Quest Language and System [My Copy] (1994) by L. Cardelli posted by 3 people dherman tautologico NU-PRL
	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted by 6 people Scis0000002 dherman greg_restall tautologico noam_zeilberger NU-PRL
	Dependently Typed Data Structures [My Copy] (2000) by Hongwei Xi posted by 5 people dherman tautologico japple rysavy NU-PRL
	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
	Logic programming for the real world [My Copy] (1995) by Z. Somogyi, F. Henderson, T. Conway, R. O'Keefe posted by 4 people dherman tautologico florianfischer NU-PRL
	Call-by-name, call-by-value, call-by-need, and the linear lambda calculus [My Copy] (1995) by M. A. R. A. I. S. T. Maraist, O. D. E. R. S. K. Y. Odersky, T. U. R. N. E. R. Turner, W. A. D. L. E. R. Wadler posted by 3 people dherman tautologico NU-PRL
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted by 6 people dherman tautologico glaubersp ds NU-PRL kozima
	Operational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248. by David N. Turner, Philip Wadler posted by 5 people Scis0000002 dherman tautologico ds NU-PRL
	Linearly Used Eects: [My Copy] by Monadic A. Cps posted by 3 people dherman tautologico NU-PRL
	Packrat Parsing: a practical linear-time algorithm with backtracking [My Copy] (Sep 2002) by Bryan Ford posted by 4 people dherman jrw cdiggins NU-PRL
	Writing macros in continuation-passing style [My Copy] (2000) by E. Hilsdale, D. Friedman posted by 4 people dherman ryanc NU-PRL dfisher
	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 249-262. by Geoffrey Washburn, Stephanie Weirich posted by 5 people keigoi dherman eaubin scis0000001 NU-PRL