Both for individual researchers as for research groups or projects, it is of major importance to organize the literature one has read. A well organized bibliography is a powerful instrument. It speeds up the search for publications one has already read and supports the user in structuring information. Aigaion provides a bibliography management software environment that supports a user in just this: Organizing and managing a complete bibliography, from small bibliographies to bibliographies for a complete research department.
The cb2Bib is a free, open source, and multiplatform application for rapidly extracting unformatted, or unstandardized bibliographic references from email alerts, journal Web pages, and PDF files. The cb2Bib facilitates the capture of single references from unformatted and non standard sources. Output references are written in BibTeX. Article files can be easily linked and renamed by dragging them onto the cb2Bib window. Additionally, it permits editing and browsing BibTeX files, citing references, searching references and the full contents of the referenced documents, inserting bibliographic metadata to documents, and writing short notes that interrelate several references.
doi resolver 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. It operates a cross-publisher citation linking system that allows a researcher to click on a reference citation on one publisher’s platform and link directly to the cited content on another publisher’s platform, subject to the target publisher’s access control practices. Our citation-linking network today covers millions of articles and other content items from several hundred scholarly and professional publishers.
Welcome to the largest bibliographic database dedicated to Economics and available freely on the Internet. Over 750'000 items of research can be browsed or searched, and over 600'000 can be downloaded in full text! This site is part of a large volunteer effort to enhance the free dissemination of research in Economics, RePEc. To see the popularity of these services, browse the statistics at LogEc
This is a home page for logical frameworks providing pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers. logical framework is a formal meta-language for deductive systems. The primary tasks supported in logical frameworks to varying degrees are * specification of deductive systems, * search for derivations within deductive systems, * meta-programming of algorithms pertaining to deductive systems, * proving meta-theorems about deductive systems. I include here systems that in other places have been called meta-logics and meta-logical frameworks; for me the choice of terminology merely indicates the relative emphasis placed on these tasks. Logical frameworks have been applied to many examples from logic and the theory of programming languages.
* 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.