diff --git a/examples/Monad.hs b/examples/Monad.hs
--- a/examples/Monad.hs
+++ b/examples/Monad.hs
@@ -7,7 +7,7 @@
 
 -- | This module demonstrates monad reification.
 -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al., IFL 2011
--- <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>) for details.
+-- <https://emilaxelsson.github.io/documents/persson2011generic.pdf>) for details.
 
 module Monad where
 
diff --git a/src/Language/Syntactic/Functional.hs b/src/Language/Syntactic/Functional.hs
--- a/src/Language/Syntactic/Functional.hs
+++ b/src/Language/Syntactic/Functional.hs
@@ -207,7 +207,7 @@
 -- the root.
 --
 -- See \"Using Circular Programs for Higher-Order Syntax\"
--- (ICFP 2013, <http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf>).
+-- (ICFP 2013, <https://emilaxelsson.github.io/documents/axelsson2013using.pdf>).
 lam_template :: (Project Binding sym)
     => (Name -> sym (Full a))
          -- ^ Variable symbol constructor
@@ -307,7 +307,7 @@
 -- the root.
 --
 -- See \"Using Circular Programs for Higher-Order Syntax\"
--- (ICFP 2013, <http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf>).
+-- (ICFP 2013, <https://emilaxelsson.github.io/documents/axelsson2013using.pdf>).
 lamT_template :: Project BindingT sym
     => (Name -> sym (Full a))
          -- ^ Variable symbol constructor
@@ -432,7 +432,7 @@
 -- | Monadic constructs
 --
 -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al., IFL 2011
--- <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>).
+-- <https://emilaxelsson.github.io/documents/persson2011generic.pdf>).
 data MONAD m sig
   where
     Return :: MONAD m (a :-> Full (m a))
@@ -459,7 +459,7 @@
 -- | Reifiable monad
 --
 -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al.,
--- IFL 2011 <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>).
+-- IFL 2011 <https://emilaxelsson.github.io/documents/persson2011generic.pdf>).
 --
 -- It is advised to convert to/from 'Remon' using the 'Syntactic' instance
 -- provided in the modules "Language.Syntactic.Sugar.Monad" or
diff --git a/src/Language/Syntactic/Sugar.hs b/src/Language/Syntactic/Sugar.hs
--- a/src/Language/Syntactic/Sugar.hs
+++ b/src/Language/Syntactic/Sugar.hs
@@ -14,7 +14,7 @@
 -- | \"Syntactic sugar\"
 --
 -- For details, see "Combining Deep and Shallow Embedding for EDSL"
--- (TFP 2013, <http://www.cse.chalmers.se/~emax/documents/svenningsson2013combining.pdf>).
+-- (TFP 2013, <https://emilaxelsson.github.io/documents/svenningsson2013combining.pdf>).
 
 module Language.Syntactic.Sugar where
 
diff --git a/src/Language/Syntactic/Syntax.hs b/src/Language/Syntactic/Syntax.hs
--- a/src/Language/Syntactic/Syntax.hs
+++ b/src/Language/Syntactic/Syntax.hs
@@ -14,7 +14,7 @@
 -- | Generic representation of typed syntax trees
 --
 -- For details, see: A Generic Abstract Syntax Model for Embedded Languages
--- (ICFP 2012, <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf>).
+-- (ICFP 2012, <https://emilaxelsson.github.io/documents/axelsson2012generic.pdf>).
 
 module Language.Syntactic.Syntax
     ( -- * Syntax trees
diff --git a/syntactic.cabal b/syntactic.cabal
--- a/syntactic.cabal
+++ b/syntactic.cabal
@@ -1,5 +1,5 @@
 Name:           syntactic
-Version:        3.7
+Version:        3.7.1
 Synopsis:       Generic representation and manipulation of abstract syntax
 Description:    The library provides a generic representation of type-indexed abstract syntax trees
                 (or indexed data types in general). It also permits the definition of open syntax
@@ -13,10 +13,10 @@
                 (ICFP 2012):
                 .
                   * Paper:
-                    <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf>
+                    <https://emilaxelsson.github.io/documents/axelsson2012generic.pdf>
                 .
                   * Slides:
-                    <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic-slides.pdf>
+                    <https://emilaxelsson.github.io/documents/axelsson2012generic-slides.pdf>
                 .
                 Example EDSLs can be found in the @examples@ folder.
                 .