CrossRef is an independent membership association, founded and directed by publishers. CrossRef’s mandate is to connect users to primary research content, by enabling publishers to work collectively. CrossRef is also the official DOI® link registration agency for scholarly and professional publications. Our citation-linking network today covers tens of millions of articles and other content items from thousands of scholarly and professional publishers.
* Practical type inference for arbitrary-rank types. SPJ, Dimitrios Vytiniotis, Stephanie Weirich, and MS. in JFP. * Lexically-scoped type variables. SPJ MS. Unpublished. * First-class modules for Haskell. MS SPJ. In FOOL 9. * Object-Oriented style overloading for Haskell. MS SPJ. In BABEL'01. * Static types for dynamic documents. MS. PhD Thesis. * Type-Indexed Rows. MS and Erik Meijer. In POPL'01. * XMLambda: A functional programming language for constructing and manipulating XML documents. Erik Meijer and MS. Unpublished. * Implicit parameters: Dynamic scoping with static types. Jeffrey Lewis, MS, Erik Meijer and John Launchbury. In POPL'00. * Dynamic typing as staged type inference. MS, Tim Sheard and SPJ. In POPL'98. * Bridging the gulf: A common intermediate language for ML and Haskell. SPJ, John Launchbury, MS In POPL'98.
RefDB is a reference database and bibliography tool for SGML, XML, and LaTeX/BibTeX documents. It allows users to share databases over a network. It is accessible through command-line tools, through a web interface, from text editors (Emacs, Vim), and it contains a SRU server. Programmers can use Perl and PHP libraries to integrate RefDB functionality into their own projects. RefDB is released under the GNU General Public License and runs on Linux, the *BSDs, OS X, Solaris, and Windows/Cygwin.
The bibliography conversion service lets you convert your BibTeX or EndNote bibliography to BibTeX, EndNote, HTML, or Silva XML. For an example of an HTML bibliography, please visit dret's online bibliography, which has been generated from BibTeX. Note the OpenURLs, which enable users to simply look up the ETHZ library catalog for this particular resource. When generating HTML, this OpenURL resolver (and many other options) can be configured to generate customized HTML.
Welcome to my bibliography page. Here you can find my bibliographic information, that is, my personally managed bibliography. I am pretty interested in this area, because my current work in the ShaRef project aims at creating a tool for improving the ways in which researchers individually and collaboratively manage bibliographic information. The HTML pages used here have produced with ShaRef, so you might also be interested to give it a try...? My bibliographic information is available in the following forms:
* HTML page. Heavily cross-linked (intra-page links and with the title and an author indices) and connected with all forms of external online information (URIs, DOIs, OpenURLs). However, the OpenURLs may be of limited use to you, because they point to the library server of my local university...
* PDF printout. Generated by LaTeX from the BibTeX source.
* BibTeX source. This is the source for the above representations. It will be replaced with an XML-based format in the long term, but the XML format is still a bit unstable (but go ahead and give it a try if you feel adventurous).
* TeX2Unicode conversion tables. Here you'll find the character conversion tables we use to translate between BibTeX (i.e., LaTeX) characters and Unicode. You can get the conversion tables in various machine-readbale formats, so if you are looking for general LaTeX-to-Unicode character conversion, you might find this useful.
Bibliographic management and citation formatting are central to the practice of all manner of research. The current bibliographic software landscape is divided broadly between a commercial market characterized by buggy software and glacial innovation, and an open software ecosystem built around BibTeX.
BibTeX’s success is a function of three factors. First, BibTeX was designed to solve real needs: allowing LaTeX users to format their manuscripts according to detailed publisher specifications. Second, it has a dedicated styling language to configure such formatting. Finally, it focuses on a single task: bibliographic and citation encoding and formatting. As a result, a variety of tools have been built around it. A GUI application designer can simply focus on how best to manage references, without having to worry about the obscure complexities of bibliographic and citation formatting.
Nevertheless, BibTeX is otherwise quite limited. Its data model is unsuitable for demanding users in the social sciences and humanities, it has no international support, its styling language is written in an obscure language that is very difficult to work with, and it is limited to LaTeX.
The Library of Congress' Network Development and MARC Standards Office is developing a framework for working with MARC data in a XML environment. This framework is intended to be flexible and extensible to allow users to work with MARC data in ways specific to their needs. The framework itself includes many components such as schemas, stylesheets, and software tools.
The ONIX for Books Product Information Message is the
international standard for representing and communicating book
industry product information in electronic form.
ONIX for Serials is a family of XML formats for communicating
information about serial products and subscription information,
using the design principles and many of the elements defined in
ONIX for Books.