voigt's xml [13 articles] Export

Recent papers added to voigt's library classified by the tag xml. You can also see everyone's xml.

	Polymorphic regular tree types and patterns [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. 103-114. by J&\#233;r&\#244;me Vouillon posted to automata polymorphism types xml by voigt on 2006-03-21 11:23:14 as
	Automata theory for XML researchers [My Copy] SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46. by Frank Neven posted to automata xml by voigt on 2005-10-13 08:22:50 as along with 3 people and 5 groups andytseng kinaba seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Processing XML streams with deterministic automata and stream indexes [My Copy] ACM Trans. Database Syst., Vol. 29, No. 4. (December 2004), pp. 752-788. by Todd J. Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, Dan Suciu posted to automata streams xml by voigt on 2005-10-13 08:19:31 as along with 4 people and 5 groups taroleo tatemura seabay ccipres Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	A formal model for an expressive fragment of XSLT [My Copy] Inf. Syst., Vol. 27, No. 1. (March 2002), pp. 21-39. by Geert J. Bex, Sebastian Maneth, Frank Neven posted to tree-transducers xml by voigt on 2005-10-12 06:16:32 as along with 2 people and 5 groups mattbiehl seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data [My Copy] (05 November 2003) by Peter M. D. Gray edited by Peter M. D. Gray, Larry Kerschberg, Peter J. H. King, Alexandra Poulovassilis posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as along with 1 person and 1 group mahler Rightscom
	A Semi-Monad for Semi-structured Data [My Copy] In 8th International Conference on Database Theory, Proceedings, Vol. 1973 (2001), 263. by Mary Fernandez, Jerome Simeon, Philip Wadler posted to monads types xml by voigt on 2005-10-07 11:43:29 as
	Haskell server pages through dynamic loading [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 39-48. by Niklas Broberg posted to applications dsl functional-programming haskell xml by voigt on 2005-10-06 08:26:22 as
	XQuery implementation in a relational database system [My Copy] In VLDB '05: Proceedings of the 31st international conference on Very large data bases (2005), pp. 1175-1186. by Shankar Pal, Istvan Cseri, Oliver Seeliger, et al.Michael Rys, Gideon Schaller, Wei Yu, Dragan Tomic, Adrian Baras, Brandon Berg, Denis Churin, Eugene Kogan posted to xml by voigt on 2005-09-26 07:57:18 as along with 1 person stagediver
	XLinq: XML Programming Refactored (The Return Of The Monoids) [My Copy] In XML Conference & Exposition, Proceedings (2005) by Erik Meijer, Brian Beckman posted to xml by voigt on 2005-09-23 08:03:26 as
	Programming with Circles, Triangles and Rectangles [My Copy] In XML Conference & Exposition, Proceedings (2003) by Erik Meijer, Wolfram Schulte, Gavin Bierman posted to types xml by voigt on 2005-09-23 07:53:30 as
	XPath query evaluation: improving time and space efficiency [My Copy] Data Engineering, 2003. Proceedings. 19th International Conference on (2003), pp. 379-390. by G. Gottlob, C. Koch, R. Pichler posted to xml by voigt on 2005-09-22 11:28:51 as
	The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable [My Copy] (6 Jun 2005) by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars decidability mso-logic tree-transducers xml by voigt on 2005-09-13 14:18:41 as
	Parametric polymorphism for XML [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 50-62. by Haruo Hosoya, Alain Frisch, Giuseppe Castagna posted to parametricity polymorphism types xml by voigt on 2005-09-13 12:41:28 as

Note: You may cite this page as: http://www.citeulike.org/user/voigt/tag/xml

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
lambda-calculus	23
program-transformation	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
optimization	15
type-classes	15
tree-transducers	14
laziness	13
seq	13
xml	13
accumulating-parameters	11
deforestation	11
generic-programming	11
operational-semantics	11
strict-evaluation	11
call-by-name	10
rank-2	10
selective-strictness	10
call-by-value	8
category-theory	8
ml	8
shortcut-deforestation	8
verification	8
applications	7
call-by-need	7
attribute-grammars	6
continuations	6
pcf	6
circular-programs	5
compilers	5
dsl	5
operating-systems	5
functional-dependencies	4
induction-proofs	4
multiple-traversals	4
subtyping	4
theorem-provers	4
tupling	4
arrows	3
automata	3
dependent-types	3
embedded-systems	3
objects	3
scheme	3
clean	2
linear-logic	2
logic-programming	2
mso-logic	2
nominal-abstract-syntax	2
parallel-programming	2
programatica	2
sequentiality	2
static-analysis	2
bidirectionality	1
complexity-analysis	1
concurrency	1
databases	1
decidability	1
errors	1
exceptions	1
imperative-programming	1
imprecise-errors	1
nondeterminism	1
optimal-reduction	1
quantum-computation	1
real-time	1
streams	1
uniqueness	1
view-update	1

voigt's xml [13 articles] Export

voigt's tags