kinaba's library 39 articles Export

Ordered by to_read.

	Data structures for weighted matching and nearest common ancestors with linking [My Copy] In SODA '90: Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms (1990), pp. 434-443. by Harold N. Gabow posted to algorithm graph matching by kinaba on 2005-09-20 10:55:19 as
	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 to language programming by kinaba on 2006-08-30 20:33:39 as along with 21 people and 1 group samth pedagand dherman jacob edcdave kschiess jrw zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	When is a Functional Program Not a Functional Program? [My Copy] In International Conference on Functional Programming (1999), pp. 1-7. by John Longley posted to functional by kinaba on 2006-07-19 21:35:45 as along with 5 people p1738j msakai BasSpitters ds kozaki
	Polynomial Time Algorithms for Network Information Flow [My Copy] by P. Sanders, S. Egner, L. Tolhuizen posted to algorithm network-coding by kinaba on 2006-04-12 04:23:55 as
	A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages [My Copy] ICIS report, Vol. R05003 by Bart Jacobs posted to automata category regularexpression by kinaba on 2005-09-09 12:23:02 as along with 1 person kvorg
	Error Handling for Business Information Systems - A Pattern Language [My Copy] (1996) by Klaus Renzel posted to error by kinaba on 2005-09-09 12:20:14 as
	Call-By-Name CPS-Translation as a Binding-Time Improvement [My Copy] In International Static Analysis Symposium, Glasgow, Scotland, September 1995. (Lecture Notes in Computer Science, vol. 983) (1995) by K. Nielsen, M. H. Sorensen edited by A. Mycroft posted to call-by-name continuation language lazy programming by kinaba on 2006-09-04 20:24:00 as
	Macro tree transducers [My Copy] Journal of Computer and System Sciences, Vol. 31, No. 1. (August 1985), pp. 71-146. by Joost Engelfriet, Heiko Vogler posted to no-tag by kinaba on 2006-06-01 05:51:37 as
	A Tutorial on Algol 68 [My Copy] ACM Comput. Surv., Vol. 8, No. 2. (June 1976), pp. 155-190. by Andrew S. Tanenbaum posted to algol language programming by kinaba on 2006-04-08 12:19:28 as
	The Influence of Caches on the Performance of Sorting [My Copy] In SODA: {ACM}-{SIAM} Symposium on Discrete Algorithms (A Conference on Theoretical and Experimental Analysis of Discrete Algorithms) (1997) by Lamarca, Ladner posted to algorithm sorting by kinaba on 2006-04-02 13:58:02 as along with 1 person ima
	Change detection in hierarchically structured information [My Copy] In Proceedings of the ACM SIGMOD International Conference on Management of Data (1996), pp. 493-504. by Sudarshan S. Chawathe, Anand Rajaraman, Hector G. Molina, Jennifer Widom posted to algorithm diff tree by kinaba on 2006-02-10 15:53:59 as along with 1 person jespera
	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 to type type-class by kinaba on 2006-01-17 16:39:35 as along with 6 people and 1 group spl conal greenrd yallop voigt americovargas SRG_at_UCD
	Java Subtype Tests in Real-Time [My Copy] by Krzysztof Palacz, Jan Vitek posted to algorithm object-oriented subtyping by kinaba on 2006-01-13 16:30:49 as
	Descriptive Complexity, Lower Bounds and Linear Time [My Copy] In Proceedings of the 12th International Workshop on Computer Science Logic (1999), pp. 9-28. by Thomas Schwentick posted to algorithm complexity by kinaba on 2005-10-04 06:28:06 as
	Asynchronous Exceptions in Haskell [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285. by Simon Marlow, Simon, Andrew Moran, John H. Reppy posted to exception thread by kinaba on 2005-09-09 11:45:56 as along with 3 people JeffreyPalmer zednenem neuralwarp
	Automata on Lempel-ziv Compressed Strings. [My Copy] In CSL 2003, Vol. 2803 (2003), pp. 384-396. by Hans Leiß, Michel de Rougemont edited by Matthias Baaz, Johann A. Makowsky posted to automata compression by kinaba on 2005-07-27 05:50:11 as
	Size Relationships in XML Type Checking [My Copy] by Zhendong Su, Gary Wassermann posted to type xml by kinaba on 2006-10-16 05:29:20 as
	DjVu: Analyzing and Compressing Scanned Documents for Internet Distribution [My Copy] (1999) by P. Haffner, L. Bottou, P. Howard, Y. Le Cun posted to algorithm compression by kinaba on 2005-10-09 05:19:32 as
	SISC: A Complete Scheme Interpreter in Java [My Copy] by Scott G. Miller posted to continuation scheme by kinaba on 2005-10-05 08:13:15 as along with 1 person CVertex
	Every planar graph is 5-choosable [My Copy] J. Comb. Theory Ser. B, Vol. 62, No. 1. (September 1994), pp. 180-181. by Carsten Thomassen posted to graph by kinaba on 2005-09-20 19:51:40 as
	Categorical programming with inductive and coinductive types [My Copy] (August 2000) by Varmo Vene posted to category functional by kinaba on 2005-09-09 12:15:38 as along with 1 person msakai
	Web and Semantic Web Query Languages: A Survey [My Copy] by James Bailey, Fran¸cois Bry, Tim Furche, Sebastian Schaffert posted to query xml by kinaba on 2005-07-04 18:34:42 as
	Bottom-Up β-Substitution: Uplinks and λ-DAGs [My Copy] by Olin Shivers, Mitchell Wand posted to lambda-calculus substitution by kinaba on 2005-07-02 13:32:46 as
	An introduction to ALGOL 68 [My Copy] In HOPL-II: The second ACM SIGPLAN conference on History of programming languages, Vol. 28, No. 3. (March 1993), pp. 345-346. by Henry J. Bowlden posted to algol language programming by kinaba on 2006-04-08 12:16:57 as along with 1 person krisn11
	Efficient subtyping tests with PQ-encoding [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 5. (September 2005), pp. 819-856. by Joseph (. Gil, Yoav Zibin posted to algorithm object-oriented subtyping by kinaba on 2006-01-13 13:43:04 as
	Modal logic and navigational XPath: an experimental comparison [My Copy] by Massimo Franceschet, Enrico Zimuel posted to algorithm xpath by kinaba on 2005-12-09 17:35:20 as
	Inductive Graphs and Functional Graph Algorithms [My Copy] Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492. by M. Erwig posted to algorithm functional by kinaba on 2005-11-22 03:49:28 as along with 3 people and 2 groups oryp6518 smazanek kozaki GraphTheory modeling
	XPath Query Evaluation: Improving Time and Space E#ciency [My Copy] (2003) by G. Gottlob, C. Koch, R. Pichler posted to algorithm xml xpath by kinaba on 2005-09-13 08:24:59 as
	Threads cannot be implemented as a library [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 261-268. by H. Hans-J posted to thread by kinaba on 2005-09-06 07:39:03 as along with 11 people NickGasson sby DickSilver LittleWood thsutton JosephKoshy qiongc arsyed damaru Bluetulip brothers
	Y in Practical Programs (Extended Abstract) [My Copy] by Bruce Mcadams posted to fixedpoint functional by kinaba on 2005-08-24 07:43:19 as along with 1 person nodakai
	Using FIX to Handle Errors Without Exceptions, and Other Programming Tricks [My Copy] by Bruce Mcadam posted to fixedpoint functional by kinaba on 2005-08-24 07:40:37 as along with 3 people and 1 group rgrig jrw pedagand SRG_at_UCD
	Contaminated garbage collection [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 264-273. by Dante J. Cannarozzi, Michael P. Plezbert, Ron K. Cytron posted to algorithm gc by kinaba on 2005-08-13 11:36:07 as along with 2 people and 1 group tautologico salagnac Verimag
	Binary queries for document trees [My Copy] Nordic J. of Computing, Vol. 11, No. 1. (2004), pp. 41-71. by Alexandru Berlea, Helmut Seidl posted to mso query xml by kinaba on 2005-07-04 18:17:00 as
	Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 137-149. by Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa posted to algorithm functional tree by kinaba on 2005-06-06 14:48:04 as
	Warren's abstract machine: a tutorial reconstruction [My Copy] (1991) by Hassan Aït-Kaci posted to prolog virtual-machines wam by kinaba on 2005-06-04 08:28:27 as along with 2 people rsaarelm msakai
	Automata theory for XML researchers [My Copy] SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46. by Frank Neven posted to automata mso xml by kinaba on 2005-06-04 05:46:06 as along with 3 people and 5 groups andytseng voigt seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction [My Copy] In Symposium on Principles of Database Systems (PODS) (2002), pp. 17-28. by Georg Gottlob, Christoph Koch posted to automata mso xml by kinaba on 2005-06-04 05:43:22 as
	Extensions of Attribute Grammars for Structured Document Queries [My Copy] Lecture Notes in Computer Science, Vol. 1949 (2000), 99. by Frank Neven posted to attribute-grammar automata mso xml by kinaba on 2005-06-04 05:41:26 as
	Query Automata [My Copy] (1999), pp. 205-214. by Frank Neven, Thomas Schwentick posted to automata mso xml by kinaba on 2005-06-04 05:39:43 as along with 3 people wasi stagediver charibeiro

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

algorithm	13
xml	8
automata	6
functional	6
mso	5
language	4
programming	4
algol	2
category	2
compression	2
continuation	2
fixedpoint	2
graph	2
object-oriented	2
query	2
subtyping	2
thread	2
tree	2
type	2
xpath	2
attribute-grammar	1
call-by-name	1
complexity	1
diff	1
error	1
exception	1
gc	1
lambda-calculus	1
lazy	1
matching	1
network-coding	1
prolog	1
regularexpression	1
scheme	1
sorting	1
substitution	1
type-class	1
virtual-machines	1
wam	1

kinaba's library 39 articles Export

kinaba's tags