corrected links in gf-biblio

author: hallgren <hallgren@altocumulus.org> 2011-10-03 15:36:27 +0000
committer: hallgren <hallgren@altocumulus.org> 2011-10-03 15:36:27 +0000
commit: c04d8ccd80497dfca56372f4a0b9b5d5afb45984 (patch)
tree: 57a45be60e36b5689aee08deb2133758483d1ba1
parent: ddc34a2162db0f05ffffa6e715e4d5aa7e6a70d0 (diff)
1 files changed, 24 insertions, 23 deletions
diff --git a/doc/gf-bibliography.html b/doc/gf-bibliography.html
index ca8749f1a..b15eb0bcb 100644
--- a/doc/gf-bibliography.html
+++ b/doc/gf-bibliography.html
@@ -2,12 +2,13 @@
 <HTML>
 <HEAD>
 <META NAME="generator" CONTENT="http://txt2tags.sf.net">
+<LINK REL="stylesheet" TYPE="text/css" HREF="../css/style.css">
 <TITLE>Grammatical Framework Bibliography</TITLE>
 </HEAD><BODY BGCOLOR="white" TEXT="black">
-<P ALIGN="center"><CENTER><H1>Grammatical Framework Bibliography</H1>
+<P ALIGN="center"><CENTER><H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>Grammatical Framework Bibliography</H1>
 <FONT SIZE="4">
 <I>Aarne Ranta</I><BR>
-Tue Dec 15 15:38:41 2009
+Wed Sep 21 18:42:17 2011
 </FONT></CENTER>
 
 <H2>Publications on GF</H2>
@@ -49,7 +50,7 @@ In Y. Bertot, G. Huet, J-J. Lévy, and G. Plotkin (eds.),
 Cambridge University Press, Cambridge, 
 pp. 281-308,
 2009.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/libraries-kahn.pdf">pdf (preliminary version)</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/libraries-kahn.pdf">pdf (preliminary version)</A>
 <br>
 <I>Grammar-libraries from the software engineering point of view, with an example application to mathematical language.</I>
 </P>
@@ -190,7 +191,7 @@ A. Ranta.
 Modular Grammar Engineering in GF.
 <I>Research on Language and Computation</I>, 
 5:133-158, 2007.
-Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/multieng3.pdf">pdf</A>.
+Draft available as <A HREF="http://www.cse.chalmers.se/~aarne/articles/multieng3.pdf">pdf</A>.
 <br>
 <I>Adapts library-based software engineering methods to grammar writing</I> 
 <I>and introduces the module system of GF.</I>
@@ -201,7 +202,7 @@ The GF Grammar Compiler.
 <I>Workshop on New Directions in Type-theoretic Grammars</I>,
 Dublin, August 2007 (ESSLLI workshop).
 2007.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/ar-compiler.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/ar-compiler.pdf">pdf</A>
 <br>
 <I>Describes the compilation of GF source code to lower-level run-time formats.</I>
 </P>
@@ -220,7 +221,7 @@ Dialogue System Localization with the GF Resource Grammar Library.
 <I>SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing</I>,
 June 29, 2007, Prague.
 2007.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/perera-ranta.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/perera-ranta.pdf">pdf</A>
 <br>
 <I>An experiment in porting an in-car dialogue system from two to six languages.</I> 
 </P>
@@ -240,7 +241,7 @@ Features in Abstract and Concrete Syntax.
 <I>The 2nd International Workshop on Typed Feature Structure Grammars</I>,
 Tartu, 24 May 2007 (NODALIDA workshop).
 2007.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/ranta-tfsg2007.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/ranta-tfsg2007.pdf">pdf</A>
 <br>
 <I>Explores the design choices of incorporating features in a GF-like grammar,</I>
 <I>with comparisons to feature-based unification grammars.</I>
@@ -261,7 +262,7 @@ J. Khegai.
 Language engineering in Grammatical Framework (GF).
 Phd thesis, Computer Science, Chalmers University of Technology,
 2006.
-<A HREF="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~janna/Janna_Khegai_phd.pdf">pdf</A>
 <br>
 <I>Collection of articles and technical reports on multilingual authoring</I>
 <I>and the Russian resource grammar.</I>
@@ -385,7 +386,7 @@ Expressivity and Complexity of the  Grammatical Framework.
 PhD thesis, Computer Science, 
 Göteborg University, 
 2004.
-<A HREF="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">pdf</A>
+<A HREF="http://www.cse.chalmers.se/~peb/pubs/Ljunglof-2004a.pdf">pdf</A>
 <br>
 <I>Language-theoretical study of GF and its parsing problem.</I>
 </P>
@@ -395,7 +396,7 @@ Grammatical Framework: A Type-Theoretical Grammar Formalism.
 <I>Journal of Functional Programming</I>, 14(2),
 pp. 145-189, 
 2004.
-Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">ps.gz</A>.
+Draft available as <A HREF="http://www.cse.chalmers.se/~aarne/articles/gf-jfp.ps.gz">ps.gz</A>.
 <br>
 <I>Theoretical paper explaining the GF formalism and its implementation.</I>
 <I>The standard reference on GF, but doesn't cover the module system.</I>
@@ -406,7 +407,7 @@ Computational semantics in type theory.
 <I>Mathematics and Social Sciences</I>, 165,
 pp. 31-57, 
 2004.
-Draft available as <A HREF="http://www.cs.chalmers.se/~aarne/articles/3formsem.pdf">pdf</A>.
+Draft available as <A HREF="http://www.cse.chalmers.se/~aarne/articles/3formsem.pdf">pdf</A>.
 <br>
 // Shows how Montague-style grammars are implemented in GF and extends//
 <I>this to type-theoretical grammars for anaphoric expressions.</I>
@@ -443,7 +444,7 @@ Seoul, Korea, February 2003,
 Springer LNCS 945, 
 pp. 38-41,
 2004.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
 <br>
 <I>An introduction to the GF resource grammar project, with Russian as prime example.</I>
 </P>
@@ -454,7 +455,7 @@ Dialogue Systems as Proof Editors.
 pp. 225-240, 
 2004.
 Conference version (IJCAR/ICoS-3, Siena, June 2001) available as
-  <A HREF="http://www.cs.chalmers.se/~aarne/articles/dialogue3.ps.gz">ps.gz</A>.
+  <A HREF="http://www.cse.chalmers.se/~aarne/articles/dialogue3.ps.gz">ps.gz</A>.
 <I>Shows a close analogy between task-oriented dialogue systems</I>
 <I>and metavariable-based proof editors.</I>
 </P>
@@ -467,7 +468,7 @@ Seoul, Korea, February 2003,
 Springer LNCS 945, 
 pp. 38-41,
 2004.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/mexico.ps.gz">ps.gz</A>.
 <br>
 <I>Explains how the GF GUI is used in syntax editing and discusses</I>
 <I>how new grammars are created.</I>
@@ -494,7 +495,7 @@ Formal Verification of Multilingual Instructions.
 Departments of Computer Science and Computer Engineering,
 Chalmers University of Technology and Göteborg University.
 2001.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/aarne+krijo.ps.gz">ps.gz</A>.
 <br>
 <I>Instructions for an alarm system in four languages, verified in the proof editor Alfa.</I>
 </P>
@@ -514,7 +515,7 @@ Genova,
 T. Hallgren, "The Correctness of Insertion Sort",
 Manuscript, Chalmers University, Göteborg, 2001.
 Available in
-<A HREF="http://www.cs.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A>
+<A HREF="http://www.cse.chalmers.se/~hallgren/Papers/insertion_sort.ps">ps</A>
 <br>
 <I>A seven-page text generated by GF-Alfa</I>.
 </P>
@@ -534,7 +535,7 @@ LNCS/LNAI 1955,
 pp. 70-84,
 Springer Verlag, Heidelberg, 
 2000.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/lpar2000.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/lpar2000.ps.gz">ps.gz</A>.
 <br>
 <I>Describes an interface to the proof editor Alfa written in GF</I>.
 </P>
@@ -545,7 +546,7 @@ XML and multilingual document authoring: converging trends.
 pp. 243-249,
 Saarbruecken, 
 2000.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/coling2000.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/coling2000.ps.gz">ps.gz</A>.
 <br>
 <I>Relates GF not only with XML but also with definite clause grammars</I>.
 </P>
@@ -554,7 +555,7 @@ P. Mäenpää and A. Ranta.
 The type theory and type checker of GF.
 <I>Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages, Workshop on Logical Frameworks and Meta-languages, Paris, 28 September 1999</I>.
 1999. 
-<A HREF="href=http://www.cs.chalmers.se/~aarne/papers/lfm1999.ps.gz">ps.gz</A>.
+<A HREF="href=http://www.cse.chalmers.se/~aarne/papers/lfm1999.ps.gz">ps.gz</A>.
 <br>
 <I>Concise theoretical presentation of GF, using the old notation prior to v0.9</I>.
 </P>
@@ -610,7 +611,7 @@ Lecture Notes in Computer Science
 Springer-Verlag, 
 Heidelberg, 
 1995.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/baastad.ps.gz">ps.gz</A>
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/baastad.ps.gz">ps.gz</A>
 <br>
 <I>Predecessor of GF: grammar defined in type theory and implemented in ALF</I>. 
 </P>
@@ -625,7 +626,7 @@ Lecture Notes in Computer Science
 Springer-Verlag, 
 Heidelberg, 
 1996.
-<A HREF="http://www.cs.chalmers.se/~aarne/articles/torino.ps.gz">ps.gz</A>.
+<A HREF="http://www.cse.chalmers.se/~aarne/articles/torino.ps.gz">ps.gz</A>.
 <br>
 <I>Extending the theory of the previous paper. The implementation in ALF</I> 
 <I>eventually became so heavy that the need arose for GF.</I>
@@ -648,6 +649,6 @@ A. Ranta.
 <I>Interprets Lambek Calculus in type theory and defines some extensions</I>.
 </P>
 
-<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml gf-bibliography.txt -->
+<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
+<!-- cmdline: txt2tags -thtml ./doc/gf-bibliography.t2t -->
 </BODY></HTML>
author	hallgren <hallgren@altocumulus.org>	2011-10-03 15:36:27 +0000
committer	hallgren <hallgren@altocumulus.org>	2011-10-03 15:36:27 +0000
commit	c04d8ccd80497dfca56372f4a0b9b5d5afb45984 (patch)
tree	57a45be60e36b5689aee08deb2133758483d1ba1
parent	ddc34a2162db0f05ffffa6e715e4d5aa7e6a70d0 (diff)