•

•

•

•

•

1Ross Paterson's Publications

•

Educational videos on various topics in category theory and related domains.
10 years ago by @draganigajic
(0)

•

1Programming and Computation

Interpreting types as abstract values [The Abstract of the lecture notes] We expound a view of type checking as evaluation with `abstract values'. Whereas dynamic semantics, evaluation, deals with (dynamic) values like 0, 1, etc., static semantics, type checking, deals with approximations like int. A type system is sound if it correctly approximates the dynamic behavior and predicts its outcome: if the static semantics predicts that a term has the type int, the dynamic evaluation of the term, if it terminates, will yield an integer. As object language, we use simply-typed and let-polymorphic lambda calculi with integers and integer operations as constants. We use Haskell as a metalanguage in which to write evaluators, type checkers, type reconstructors and inferencers for the object language.
10 years ago by @draganigajic
(0)

•

•

•

•

•

3Tutorial Papers in Functional Programming

•

In denotational semantics and functional programming, the terms monad morphism, monad layering, monad constructor, and monad transformer have by now accumulated 20 years of twisted history. The exchange between Eric Kidd and sigfpe about the probability monad prompted me to investigate this history
10 years ago by @draganigajic
(0)

•

•

1A Neighborhood of Infinity: From Monoids to Monads

Generalising Monoids The word 'monad' is derived from the word 'monoid'. The explanation usually given is that there is an analogy between monoids and monads. On the surface, this seems a bit unlikely. The join operation in a monad is supposed to correspond to the binary operator in the monoid, but join is a completely different kind of thing, certainly not a binary operator in any usual sense. I'm going to make this analogy precise so that it's clear that both monoids and monads are examples of the same construction. In fact, I'm going to write some Haskell code to define monoids and monads in almost exactly the same way. I was surprised to find I could do this because instances of Haskell's Monoid and Monad aren't even the same kind of thing (where I'm using 'kind' in its technical sense). But it can be done.
10 years ago by @draganigajic
(0)

•

•

•

•

•

•

3A co-relational model of data for large shared data banks

, and . Commun. ACM (April 2011)
10 years ago by @hidders
(0)

•

volume 925 of Lecture Notes in Computer Science, page 24--52. Springer, (1995)
12 years ago by @gron
(0)

•

•

, and . Haskell, page 1--12. ACM, (2008)
9 years ago by @mhwombat
(0)

•

8Quilt: An XML Query Language for Heterogeneous Data Sources.

, , and . WebDB (Informal Proceedings), page 53-62. (2000)
19 years ago by @dblp
(0)

•

5Data on the Web: from relations to semistructured data and XML

, , and . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, (2000)
12 years ago by @benedikt.linse
(0)

•

15The Semantic Web: A Guide to the Future of XML, Web Services and Knowledge Management

, , and . John Wiley & Sons Inc.,, Indianapolis, IN, (2003)
13 years ago by @aljsanchez
(0)

•

6Extensible Markup Language (XML) 1.0

W3C, (1998)
14 years ago by @sudhir
(0)

•

8The Wikipedia XML Corpus

, and . SIGIR Forum (2006)
14 years ago by @hotho
(0)

•

2Konzeption und prototypische Realisierung eines XML-Feed-Aggregators für multimediale Inhalte

Technische Universität Dresden, (2006)
13 years ago by @flh
(0)

•

3Xcerpt and visXcerpt: Twin Query Languages for the Semantic Web

Proceedings of 3rd International Semantic Web Conference, Hiroshima, Japan (7th--11th November 2004), (2004)
13 years ago by @gibeon
(0)

•

3Towards Data-Integration on the Semantic Web: Querying RDF with Xcerpt

Institute of Computer Science, LMU, Munich, Diplomarbeit/diploma thesis, (2005)
12 years ago by @benedikt.linse
(0)

•

5Implementation of Web Query Languages Reconsidered: Beyond Tree and Single-Language Algebras at (Almost) No Cost

Ludwig-Maxmilians University Munich, Dissertation/doctoral thesis, (2008)
12 years ago by @benedikt.linse
(0)

•

8XSL Transformations (XSLT) Version 2.0

W3C Recommendation, W3C, (January 2007)
12 years ago by @benedikt.linse
(0)

•

4Design and implementation of a graphical interface to XQuery

, , , and . SAC '03: Proceedings of the 2003 ACM symposium on Applied computing, page 1163--1167. New York, NY, USA, ACM, (2003)
13 years ago by @kossmoboleat
(0)

•

•

9Web and Semantic Web Query Languages: A Survey

, , , and . Reasoning Web, First International Summer School 2005, volume 3564 of LNCS, Springer-Verlag, (2005)
12 years ago by @benedikt.linse
(0)

•

2Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees

(February 2002)
14 years ago by @yijunyu
(0)

•

3Comparative Analysis of Five XML Query Languages

, and . CoRR (1999)informal publication.
12 years ago by @benedikt.linse
(0)

•

5Xcerpt: A Rule-Based Query and Transformation Language for the Web

University of Munich, (2004)
12 years ago by @benedikt.linse
(0)