Masahiro Sakai's Top Recommendations

These recommendations were last updated about 4 hours ago.

	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
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted by 10 people ddemange mattmight keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted by 7 people keigoi draganigajic spl bringert shimomura mcclurmc pedagand
	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
	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
	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
	Haskell session types with (almost) no class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted by 5 people ama08r pedagand shimomura tov keigoi
	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
	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
	A structural approach to operational semantics [My Copy] Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139. posted by 5 people ama08r michaelbanks shimomura keigoi leonardo
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted by 8 people jcreed draganigajic dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup pedagand
	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
	Reversing algebraic process calculi [My Copy] Journal of Logic and Algebraic Programming In Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006), Vol. 73, No. 1-2. ( 2007), pp. 70-96. by Iain Phillips, Irek Ulidowski posted by 4 people ama08r keigoi shimomura leonardo
	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
	Resource usage analysis [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313. by Atsushi Igarashi, Naoki Kobayashi posted by 5 people shimomura ama08r gerold pejo keigoi
	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
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted by 29 people ama08r ConcertRG pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup kazuya pedagand brecknell frej
	Session Types for Object-Oriented Languages [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352. by Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou posted by 3 people ama08r keigoi shimomura
	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
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted by 16 people ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 aleks rgb bringert wtribbey SRG_at_UCD Compilers pileWorks spl
	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
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted by 4 people shimomura keigoi yallop tov
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted by 2 people keigoi shimomura
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted by 11 people ConcertRG robertjohnsimmons pedagand spl jimburton byorgey dalev greenrd dmitri83 NU-PRL SRG_at_UCD
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted by 5 people draganigajic keigoi tov jimburton Lambda the Ultimate
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted by 12 people draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala glaubersp conal SRG_at_UCD americovargas pedagand
	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
	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
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted by 20 people GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl Lambda the Ultimate namin mvermaat d23 SamB enochguimond MikolkaMikolka logics of knowledge
	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
	Correspondence assertions for process synchronization in concurrent communications [My Copy] J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247. by Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter posted by 4 people keigoi janschaefer TU-KL-SoftwareTechnologyGroup shimomura
	Algebraic laws for nondeterminism and concurrency [My Copy] J. ACM, Vol. 32, No. 1. (January 1985), pp. 137-161. by Matthew Hennessy, Robin Milner posted by 2 people keigoi shimomura
	Specification-based Testing for Gui-based Applications [My Copy] Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224. by Jessica Chen, Suganthan Subramaniam posted by 2 people keigoi shimomura
	Formal Modelling of Java GUI Event Handling [My Copy] In ICFEM '02: Proceedings of the 4th International Conference on Formal Engineering Methods (2002), pp. 359-370. by Jessica Chen posted by 2 people keigoi shimomura
	Formal Modelling of Java GUI Event Handling [My Copy] Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370. by Jessica Chen posted by 2 people shimomura keigoi
	Analyzing Interaction Orderings with Model Checking [My Copy] In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering (2004), pp. 154-163. by Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser posted by 2 people keigoi shimomura
	Model checking graphical user interfaces using abstractions [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261. by Matthew B. Dwyer, Vicki Carr, Laura Hines posted by 2 people keigoi shimomura
	A scalable formal method for design and automatic checking of user interfaces [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167. by Jean Berstel, Stefano C. Reghizzi, Gilles Roussel, Pierluigi San Pietro posted by 2 people keigoi shimomura
	Name-passing style GUI programming in the [pi]-calculus-based language Nepi [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Vol. 139, No. 1. (4 November 2005), pp. 145-168. by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen posted by 2 people keigoi shimomura
	Concurrent Haskell [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted by 2 people shimomura keigoi
	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
	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
	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
	Haskell ready to dazzle the real world [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26. by Martijn M. Schrage, Arjan van Ijzendoorn, Linda C. van der Gaag posted by 7 people greenrd voigt p1738j kowey shimomura wtribbey SRG_at_UCD
	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
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted by 14 people pedagand fvogels olegus draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	A Structural Approach to Operational Semantics [My Copy] No. DAIMI FN-19. (1981) by G. D. Plotkin posted by 9 people ama08r assnoodles leonardo mkis keigoi janschaefer ds NU-PRL TU-KL-SoftwareTechnologyGroup
	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
	Comprehending monads [My Copy] In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 61-78. by Philip Wadler posted by 4 people ama08r bfraser spl keigoi
	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
	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
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted by 14 people talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip Leho SRG_at_UCD jimburton Lambda the Ultimate mvermaat zuleger
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted by 10 people ama08r ConcertRG spl pedagand voigt p1738j aleks Benja Compilers paper_jac
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. T. Chakravarty posted by 8 people bfraser draganigajic hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	A core calculus of dependency [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 147-160. by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted by 3 people voigt keigoi bfraser
	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 9 people pedagand yoriyuki twleung dherman JeffreyPalmer NU-PRL mvermaat ch jkominek
	DSL implementation using staging and monads [My Copy] In Domain-Specific Languages (1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted by 9 people twleung JacquesC hamish greenrd JeffreyPalmer cedricboidin zednenem NU-PRL SRG_at_UCD
	A Categorical Manifesto [My Copy] Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67. by Joseph A. Goguen posted by 16 people pedagand robotact spl ansobol jrw bonotake scis0000001 pilho rgb kaqui ajk artur pileWorks masteraka popx marcinzalewski
	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
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted by 8 people draganigajic pejo voigt hannes mahler mstone Rightscom pedagand
	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199. by Peng Li, Steve Zdancewic posted by 3 people draganigajic shimomura pedagand
	Descriptive and Relative Completeness of Logics for Higher-Order Functions [My Copy] Automata, Languages and Programming (2006), pp. 360-371. by Kohei Honda, Martin Berger, Nobuko Yoshida posted by 2 people keigoi yoriyuki
	Faking it Simulating dependent types in Haskell [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392. by Conor Mcbride posted by 4 people keigoi dalev NU-PRL americovargas
	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
	Type-safe, self inspecting code [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79. by Arthur I. Baars, Doaitse S. Swierstra posted by 3 people pedagand keigoi americovargas
	A generic type system for the Pi-calculus [My Copy] Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163. by Atsushi Igarashi, Naoki Kobayashi posted by 4 people keigoi janschaefer yoriyuki TU-KL-SoftwareTechnologyGroup
	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
	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
	Running the manual: an approach to high-assurance microkernel development [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71. by Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty posted by 3 people pedagand keigoi mwmarkland
	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
	Parametric higher-order abstract syntax for mechanized semantics [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156. by Adam Chlipala posted by 2 people pedagand keigoi
	Refusal Testing for Classes of Transition Systems with Inputs and Outputs [My Copy] In FORTE X / PSTV XVII '97: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII) (1998), pp. 23-38. by Lex Heerink, Jan Tretmans posted by 2 people keigoi pedagand
	Flask: staged functional programming for sensor networks [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted by 2 people keigoi pedagand
	An Empirical Analysis of C Preprocessor Use [My Copy] IEEE Trans. Softw. Eng., Vol. 28, No. 12. (December 2002), pp. 1146-1170. by Michael D. Ernst, Greg J. Badros, David Notkin posted by 2 people keigoi pedagand
	RepLib: a library for derivable type classes [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12. by Stephanie Weirich posted by 3 people zednenem spl keigoi
	Epigram: Practical Programming with Dependent Types [My Copy] Advanced Functional Programming (2005), pp. 130-170. by Conor Mcbride posted by 6 people Benja jimburton draganigajic mcclurmc Lambda the Ultimate pedagand
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted by 4 people draganigajic dherman NU-PRL pedagand
	A prettier printer [My Copy] Journal of Functional Programming (1999) by Philip Wadler posted by 4 people draganigajic dherman NU-PRL pedagand
	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
	Mirrors: design principles for meta-level facilities of object-oriented programming languages [My Copy] In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 331-344. by Gilad Bracha, David Ungar posted by 7 people mgreenbe akuhn onierstrasz keigoi fgeller hamish spl
	An implementation of session types [My Copy] (2004) by M. Neubauer, P. Thiemann posted by 3 people ama08r keigoi tov
	Pointer analysis: haven't we solved this problem yet? [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61. by Michael Hind posted by 13 people ama08r _Anne_ plaugg pejo wasi salagnac martink linekin keigoi janschaefer Verimag TU-KL-SoftwareTechnologyGroup srccheck
	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
	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
	Associated type synonyms [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones posted by 8 people spl conal greenrd yallop kinaba voigt SRG_at_UCD americovargas
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted by 8 people spl mkis samth greenrd yallop NU-PRL SRG_at_UCD americovargas
	$My PDF l&\#228;mmel_04_scrap.pdf$ Scrap more boilerplate: reflection, zips, and generalised casts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf L&\#228;mmel, Simon P. Jones posted by 7 people samth greenrd yallop spl NU-PRL SRG_at_UCD americovargas
	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
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted by 13 people olegus kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo NU-PRL SRG_at_UCD americovargas
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted by 9 people noam_zeilberger bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	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
	An embedded domain-specific language for type-safe server-side web scripting [My Copy] ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46. by Peter Thiemann posted by 9 people frangaiz draganigajic greenrd JeffreyPalmer jipibanf stagediver onekin SRG_at_UCD pedagand
	A comparative study of language support for generic programming [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134. by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted by 4 people spl dherman voigt NU-PRL
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted by 7 people greenrd tautologico voigt mahler mstone Rightscom SRG_at_UCD
	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
	A new notation for arrows [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 229-240. by Ross Paterson posted by 10 people draganigajic eaubin rwtodd jrw cedricboidin tautologico jolilius TUCS-ES_Lab cognominal pedagand
	A calculus of mobile processes, I [My Copy] Inf. Comput., Vol. 100, No. 1. (September 1992), pp. 1-40. by Robin Milner, Joachim Parrow, David Walker posted by 4 people ama08r keigoi chihchun_chen mperalta
	Optimising Embedded DSLs Using Template Haskell [My Copy] Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205. by Sean Seefried, Manuel Chakravarty, Gabriele Keller posted by 3 people mbravenboer keigoi jimburton
	Subtyping for session types in the pi calculus [My Copy] Acta Informatica, Vol. 42, No. 2. (22 November 2005), pp. 191-225. by Simon Gay, Malcolm Hole posted by 2 people ama08r keigoi
	Type checking a multithreaded functional language with session types [My Copy] Theoretical Computer Science, Vol. 368, No. 1-2. (5 December 2006), pp. 64-87. by Vasco T. Vasconcelos, Simon J. Gay, Antonio Ravara posted by 2 people ama08r keigoi