josefs's library 23 articles Export Sort

Ordered by to_read.

Hide details

	Building compilers by combining algebras [My Copy] In Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop (ECBS'05) by Garrin Kimmel, Perry Alexander, Ed Komp posted to no-tag by josefs on 2006-03-20 22:41:27 as along with 2 people and 1 group greenrd zednenem SRG_at_UCD
	Alias Types [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??. by Frederick Smith, David Walker, Greg Morrisett posted to no-tag by josefs on 2005-07-01 17:13:44 as along with 2 people and 1 group dherman wasi NU-PRL
	Imperative streams--a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted to no-tag by josefs on 2006-03-20 22:42:52 as along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw zednenem SRG_at_UCD
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to no-tag by josefs on 2006-03-20 22:38:55 as along with 8 people and 1 group pedagand greenrd jrw greg_restall zednenem voigt msakai EdwardKmett SRG_at_UCD
	An intensional type theory: motivation and cut-elimination [My Copy] Journal of Symbolic Logic by Paul C. Gilmore posted to no-tag by josefs on 2006-03-20 22:40:57 as along with 1 person zednenem
	Graph Visualization and Navigation in Information Visualization: A Survey [My Copy] IEEE Transactions on Visualization and Computer Graphics, Vol. 6, No. 1. (slash 2000), pp. 24-43. by Herman, G. Melan\ccon, M. S. Marshall posted to no-tag by josefs on 2005-07-01 17:19:40 as along with 14 people and 4 groups ansobol mapio nkorf morningboat yijisoo krisjack onyx douglasfcalvert abie AndyDent jwong mamader bazilio cmschweda Semantic-Social-Networks infovis DSS mobilecomputing
	Interprocedural may-alias analysis for pointers: beyond <italic>k</italic>-limiting [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. 230-241. by Alain Deutsch posted to no-tag by josefs on 2005-07-01 17:15:41 as along with 1 person and 1 group dherman NU-PRL
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to no-tag by josefs on 2006-03-20 22:42:09 as along with 4 people and 2 groups JeffreyPalmer zednenem voigt mahler ConcertRG Rightscom
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted to no-tag by josefs on 2006-03-20 22:39:57 as along with 5 people robertjohnsimmons zednenem kavabean bringert richardlp
	Dynamic optimization for functional reactive programming using generalized algebraic data types [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65. by Henrik Nilsson posted to no-tag by josefs on 2006-03-20 22:39:35 as along with 8 people and 1 group greenrd zednenem voigt robennals conal serebryakov blue_entropy bhuber SRG_at_UCD
	Dynamic Applications From the Ground Up [My Copy] by Don Stewart, Manuel M. T. Chakravarty posted to no-tag by josefs on 2006-03-20 22:39:16 as along with 4 people JeffreyPalmer jrw tautologico zednenem
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted to no-tag by josefs on 2006-03-20 22:36:56 as along with 4 people and 2 groups greenrd JeffreyPalmer zednenem mahler Rightscom SRG_at_UCD
	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 to no-tag by josefs on 2006-03-20 22:36:33 as along with 9 people and 2 groups kvm egh twleung jacob rgrig JacquesC JeffreyPalmer jrw zednenem NU-PRL SRG_at_UCD
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to no-tag by josefs on 2006-03-20 22:36:18 as along with 9 people jcreed pedagand msakai shimomura zednenem mstone bringert conal croys
	Haskell is not not ML [My Copy] In European Symposium on Programming (2006) by Ben Rudiak-Gould, Alan Mycroft, Simon P. Jones posted to no-tag by josefs on 2006-03-20 22:36:04 as along with 4 people gologo13 zednenem scook0 EdwardKmett
	An expressive language of signatures [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40. by Norman Ramsey, Kathleen Fisher, Paul Govereau posted to no-tag by josefs on 2006-03-20 22:35:31 as along with 2 people and 1 group thsutton zednenem ConcertRG
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor Mcbride posted to no-tag by josefs on 2006-03-20 22:35:14 as along with 7 people and 2 groups robertjohnsimmons mattmight pedagand dherman eaubin zednenem ryanc ConcertRG NU-PRL
	Typed Contracts for Functional Programming [My Copy] In Eighth International Symposium on Functional and Logic Programming (April 2006) by Ralph Hinze, Johan Jeuring, Andres Löh edited by Philip Wadler, Masimi Hagiya posted to no-tag by josefs on 2006-03-20 22:34:49 as along with 2 people and 1 group dherman zednenem NU-PRL
	Fast and Loose Reasoning Is Morally Correct [My Copy] (2005) by Nils A. Danielsson, Jeremy Gibbons, John Hughes, Patrik Jansson posted to no-tag by josefs on 2006-03-20 05:24:35 as along with 2 people and 1 group greenrd zednenem SRG_at_UCD
	An Applicative Control-Flow Graph Based on Huet's Zipper [My Copy] (2005) by Noram Ramsey, Dias Joao posted to no-tag by josefs on 2005-07-03 17:45:06 as along with 2 people pejo harshrc
	Alias Types for Recursive Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2071 (2001), pp. 177-??. by David Walker, Greg Morrisett posted to no-tag by josefs on 2005-07-01 17:15:24 as along with 2 people and 1 group dherman wasi NU-PRL
	Pointer Analysis: Haven't We Solved This Problem Yet? [My Copy] In 2001 ACM {SIGPLAN}-{SIGSOFT} Workshop on Program Analysis for Software Tools and Engineering ({PASTE}'01) (2001) by Michael Hind posted to no-tag by josefs on 2005-07-01 17:13:15 as along with 6 people and 3 groups dimvar mercutio dherman plaugg jolilius lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
	A reflection on call-by-value [My Copy] ACM Trans. Program. Lang. Syst., Vol. 19, No. 6. (November 1997), pp. 916-941. by Amr Sabry, Philip Wadler posted to no-tag by josefs on 2005-07-01 11:48:34 as

Note: You may cite this page as: http://www.citeulike.org/user/josefs/order/to_read

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

josefs's library 23 articles Export Sort

josefs's tags