wasi's watchlist [at least 200 articles] Export

Recent papers matching wasi's watchlist criteria

	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 to theory by ama08r on 2009-11-12 11:04:21 as along with 9 people and 1 group claudiamichelle jkominek spl tarampam samth dherman tautologico croys ben_moseley 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 to theory by ama08r on 2009-11-12 11:01:43 as along with 3 people bfraser spl keigoi
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to haskell by triampurum on 2009-11-09 19:33:03 as along with 4 people mthomure spl brecknell SamB
	Call-by-Value Is Dual to Call-by-Name – Reloaded [My Copy] Term Rewriting and Applications (2005), pp. 185-203. by Philip Wadler posted to dual_calculus call-by-value call-by-name by gologo13 on 2009-11-03 20:26:38 as
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted to sequent_calculus dual_calculus dual classical_logic call-by-value call-by-name by gologo13 on 2009-11-03 18:42:13 as
	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 to featherweight_java by gologo13 on 2009-11-03 18:42:13 as
	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 to no-tag by mahler on 2009-10-27 01:24:19 as along with 31 people and 2 groups 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 cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
	Featherweight Java: a minimal core calculus for Java and GJ [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (2001), pp. 396-450. by Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler posted to java by dvanhorn on 2009-10-26 15:00:29 as along with 3 people mattmight jackalope13 fvogels
	Making the future safe for the past: adding genericity to the Java programming language [My Copy] SIGPLAN Not., Vol. 33, No. 10. (1998), pp. 183-200. by Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler posted to vm by akuhn on 2009-10-15 00:41:46 as
	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 to functional-programming by jimburton on 2009-10-14 14:45:41 as along with 21 people and 3 groups TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	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 to lambda-calculus functional-programming by jimburton on 2009-10-14 14:45:03 as along with 17 people and 2 groups pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas NU-PRL SRG_at_UCD
	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 to featherweight_java by joker13 on 2009-10-10 09:13:11 as along with 5 people and 1 group samth yang KarlKlose sjrogers mcclurmc NU-PRL
	A practical subtyping system for Erlang [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 136-149. by Simon Marlow, Philip Wadler posted to dissertation by samth on 2009-10-09 20:21:48 as
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted to sequent_calculus dual-calculus dual classical_logic call-by-value call-by-name by joker13 on 2009-10-06 22:29:03 as along with 3 people and 1 group robennals msakai mcclurmc Lambda the Ultimate
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 189-201. by Philip Wadler posted to file-import-09-10-05b duality by jcreed on 2009-10-05 21:42:23 as
	Pizza into Java: Translating theory into practice [My Copy] In In Proc. 24th ACM Symposium on Principles of Programming Languages (1997), pp. 146-159. by Martin Odersky, Philip Wadler posted to type-system java by fvogels on 2009-09-30 10:08:28 as
	Well-Typed Programs Can't Be Blamed [My Copy] In Workshop on Scheme and Functional Programming (2007) by Philip Wadler, Robert B. Findler posted to untyped typed subtyping algebraic by mgreenbe on 2009-09-22 14:47:42 as
	Well-Typed Programs Can't Be Blamed [My Copy] In European Symposium on Programming (ESOP) (2009), pp. 1-16. by Philip Wadler, Robert B. Findler posted to untyped typed subtyping algebraic by mgreenbe on 2009-09-22 14:47:42 as
	Monads for Functional Programming [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52. by Philip Wadler posted to monads functional_programming by bfraser on 2009-09-21 19:52:58 as
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 189-201. by Philip Wadler posted to from-linear-bib by JianzhouZhao on 2009-09-02 17:05:38 as
	There's no substitute for linear logic [My Copy] In 8'th International Workshop on the Mathematical Foundations of Programming Semantics (1992) by Philip Wadler posted to from-linear-bib by JianzhouZhao on 2009-09-02 17:05:38 as
	Call-by-name, call-by-value, call-by-need, and the linear lambda calculus [My Copy] In 11'th International Conference on the Mathematical Foundations of Programming Semantics (1995) by John Maraist, Martin Odersky, David N. Turner, Philip Wadler posted to from-linear-bib by JianzhouZhao on 2009-09-02 17:05:38 as
	Theorems for Free! [My Copy] In ACM Functional Programming Languages and Computer Architecture (1989), pp. 347-359. by Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:49 as
	A Taste of Linear Logic [My Copy] In Mathematical Foundations of Computer Science, Vol. 711 (1993), pp. 185-210. by Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Comprehending Monads [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 461-493. by Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Linear types can change the world! [My Copy] In Progarmming Concepts and Methods (April 1990) by Philip Wadler edited by M. Broy, C. Jones posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Theorems for Free! [My Copy] In Proceedings of the 4th International Symposium on Functional Programming and Computer Architecture (September 1989) by Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Operational Interpretations of Linear Logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1-2. (September 1999), pp. 231-248. by David N. Turner, Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:47 as
	Pizza into Java: Translating Theory into Practice [My Copy] In Proc. 24th {ACM} Symp. on Principles of Programming Languages (POPL) (January 1997), pp. 146-159. by Martin Odersky, Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:43 as
	Featherweight Java [My Copy] In Conference of Object-Oriented Programming, Systems, Languages and Applications, Vol. 34, No. 10. (October 1999) by Atsushi Igarashi, Benjamin Pierce, Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:38 as
	Linear Logic, Monads and the Lambda Calculus [My Copy] In Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (July 1996) by Nick Benton, Philip Wadler posted to from-all-bib by JianzhouZhao on 2009-09-02 17:03:30 as
	A history of Haskell [My Copy] Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III (2007), pp. 12-1-12-55. by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to no-tag by skosta on 2009-08-30 22:00:49 as
	Theorems for free! [My Copy] In FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE (1989), pp. 347-359. by Philip Wadler posted to no-tag by Benja on 2009-08-22 23:05:27 as
	The Girard---Reynolds isomorphism (second edition) [My Copy] Theor. Comput. Sci., Vol. 375, No. 1-3. (2007), pp. 201-226. by Philip Wadler posted to rg-2005 by robertjohnsimmons to the group ConcertRG on 2009-08-17 05:09:14 as
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to rg-2004 by robertjohnsimmons to the group ConcertRG on 2009-08-16 05:04:38 as along with 8 people fvogels byorgey amp269 voigt spl paper_jac robdockins nominolo
	Characterization of homologs of the small RNA SgrS reveals diversity in function [My Copy] Nucl. Acids Res. (20 July 2009), gkp591. by Caryn S. Wadler, Carin K. Vanderpool posted to rna srna by AlexBateman to the group Journal picks on 2009-07-21 09:27:47 as
	Combining Monads [My Copy] In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143. by David J. King, Philip Wadler posted to monads by christiankissig on 2009-07-12 12:17:27 as along with 2 people bulwahn pile
	How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:52:08 as along with 2 people spl michaelbanks
	Comprehending Monads [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 61-78. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:40:39 as along with 1 person fvogels
	The Essence of Functional Programming [My Copy] (1992), pp. 1-14. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:37:37 as
	Two semantics for XPath [My Copy] (1999) by Philip Wadler posted to file-import-09-07-07 by hidders on 2009-07-07 17:54:56 as
	A Semi-monad for Semi-structured Data [My Copy] In ICDT '01: Proceedings of the 8th International Conference on Database Theory (2001), pp. 263-300. by Mary F. Fernandez, Jérôme Siméon, Philip Wadler posted to file-import-09-07-07 by hidders on 2009-07-07 17:54:41 as
	XML query languages: Experiences and exemplars [My Copy] (1999) by Mary Fernández, Jérôme Siméon, Philip Wadler, et al.Sophie Cluet, Alin Deutsch, Daniela Florescu, A. Levy, D. Maier, J. Mchugh, Jonathan Robie, Dan Suciu, Jennifer Widom posted to file-import-09-07-07 xml by hidders on 2009-07-07 17:54:40 as
	XQuery 1.0 and XPath 2.0 Formal Semantics [My Copy] (2005) by Denise Draper, Peter Fankhauser, Mary Fernández, et al.Ashok Malhotra, Kristoffer Rose, Michael Rys, Jérôme Siméon, Philip Wadler posted to file-import-09-07-07 fragments xquery by hidders on 2009-07-07 17:54:40 as
	The essence of XML [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. 1-13. by Jerome Simeon, Philip Wadler posted to formalization xml by pedagand on 2009-07-05 00:03:45 as along with 4 people mxp water451 msn tmiya
	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 to intuitionistic linear-logic type-theory by Scis0000002 on 2009-06-20 08:11:13 as along with 3 people and 1 group dherman tautologico ds NU-PRL
	Linear Types Can Change the World! [My Copy] In Programming Concepts and Methods (April 1990) by Philip Wadler posted to linear-type type-theory by mattmight on 2009-06-20 03:34:59 as
	The Glasgow Haskell Compiler: A Technical Overview [My Copy] In Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference (93) by Simon L. Peyton-Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, Philip Wadler posted to compiler ghc haskell by mattmight on 2009-06-20 01:23:04 as along with 5 people and 1 group jrw rahul robennals tmiya tov SRL
	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 to functional-programming monads by jimburton on 2009-06-11 15:24:30 as along with 22 people and 4 groups jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas namin pedagand SRL SIG functional programming Lambda the Ultimate
	Proofs are Programs: 19th Century Logic and 21st Century Computing [My Copy] by Philip Wadler posted to no-tag by dimvar on 2009-05-26 15:37:56 as

Note: You may cite this page as: http://www.citeulike.org/user/wasi/watchlist

Result page: 1 2 3 4 5 6 Next

analysis	3
logic	3
programming	3
theory	3
alias	2
type	2
automata	1
category	1
concurrent	1
database	1
et	1
functional	1
linearity	1
mathematics	1
model	1
model_checking	1
pointer	1
program	1
prolog	1
query	1
static	1
tree	1
xml	1

wasi's watchlist [at least 200 articles] Export

wasi's tags