diff --git a/forest.toml b/forest.toml index e23e606..c532163 100644 --- a/forest.toml +++ b/forest.toml @@ -3,6 +3,7 @@ host = "liamoc" trees = ["trees"] # The directories in which your trees are stored assets = ["assets"] # The directories in which your assets are stored theme = "theme" # The directory in which your theme is stored - +url = "https://liamoc.net/" [renderer] home = "index" + diff --git a/trees/dm-0000.tree b/trees/dm-0000.tree index e591072..dce197e 100644 --- a/trees/dm-0000.tree +++ b/trees/dm-0000.tree @@ -1,6 +1,6 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{partial order} +\title{Partial order} \p{A binary relation #{(\sqsubseteq) \subseteq X \times X} is a \em{partial order} if it is, for all #{x, y, z \in X}: \ul{ \li{ [reflexive](dm-0001): #{x \sqsubseteq x}, } diff --git a/trees/dm-0001.tree b/trees/dm-0001.tree index e70b1dc..05de3a5 100644 --- a/trees/dm-0001.tree +++ b/trees/dm-0001.tree @@ -1,4 +1,4 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{reflexivity} +\title{Reflexivity} \p{A binary relation #{\mathcal{R} \subseteq X \times X} is \em{reflexive} iff, for all #{x \in X}, #{x\ \mathcal{R}\ x}.} diff --git a/trees/dm-0002.tree b/trees/dm-0002.tree index 282ce17..b4273a7 100644 --- a/trees/dm-0002.tree +++ b/trees/dm-0002.tree @@ -1,4 +1,4 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{transitivity} +\title{Transitivity} \p{A binary relation #{\mathcal{R} \subseteq X \times X} is \em{transitive} iff, for all #{x, y, z \in X}, if #{x\ \mathcal{R}\ y} and #{y\ \mathcal{R}\ z} then #{x\ \mathcal{R}\ z}.} diff --git a/trees/dm-0003.tree b/trees/dm-0003.tree index 33384b9..9a9b163 100644 --- a/trees/dm-0003.tree +++ b/trees/dm-0003.tree @@ -1,4 +1,4 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{antisymmetry} +\title{Antisymmetry} \p{A binary relation #{\mathcal{R} \subseteq X \times X} is \em{antisymmetric} iff, for all #{x, y \in X}, if #{x\ \mathcal{R}\ y} and #{y\ \mathcal{R}\ x} then #{x = y}.} diff --git a/trees/dm-0004.tree b/trees/dm-0004.tree index 0d8c5a6..fd95d4b 100644 --- a/trees/dm-0004.tree +++ b/trees/dm-0004.tree @@ -1,5 +1,5 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{poset} -\p{A partially ordered set, or \em{poset} for short, is a pair #{(X, \sqsubseteq)} of a set #{X} equipped with a [[dm-0000]] #{(\sqsubseteq) \subseteq X \times X}.} -\p{ Sometimes, when [[dm-0000]] is arbitrary or clear from context, the set #{X} itself may be referred to as a poset.} +\title{Poset} +\p{A partially ordered set, or \em{poset} for short, is a pair #{(X, \sqsubseteq)} of a set #{X} equipped with a [partial order](dm-0000) #{(\sqsubseteq) \subseteq X \times X}.} +\p{ Sometimes, when the [ordering](dm-0000) is arbitrary or clear from context, the set #{X} itself may be referred to as a poset.} diff --git a/trees/dm-0005.tree b/trees/dm-0005.tree index f2b603a..763ccfb 100644 --- a/trees/dm-0005.tree +++ b/trees/dm-0005.tree @@ -1,4 +1,4 @@ -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{cartesian product} +\title{Cartesian product} \p{The cartesian product of two sets #{X} and #{Y} is the set of pairs #{ \{ (x,y) \mid x \in X \land y \in Y \} }.} diff --git a/trees/dm-0006.tree b/trees/dm-0006.tree index dc09795..9a74a95 100644 --- a/trees/dm-0006.tree +++ b/trees/dm-0006.tree @@ -1,5 +1,5 @@ \import{dt-macros} -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{power set} +\title{Power set} \p{The power set of #{X}, often written #{\pow{X}}, is the set of all subsets of #{X}: ##{ \pow{X} = \{ Y \mid Y \subseteq X \} }. } diff --git a/trees/dt-0000.tree b/trees/dt-0000.tree index 098c79b..f046166 100644 --- a/trees/dt-0000.tree +++ b/trees/dt-0000.tree @@ -1,6 +1,6 @@ \import{dt-macros} -\title{the \cal{C} Language (without loops)} -\taxon{definition} +\title{The \cal{C} Language (without loops)} +\taxon{Definition} \author{liamoc} \p{ Using notation similar to \em{Backus-Naur Form} (BNF): ##{ diff --git a/trees/dt-0001.tree b/trees/dt-0001.tree index d1838fb..3a78eba 100644 --- a/trees/dt-0001.tree +++ b/trees/dt-0001.tree @@ -1,6 +1,6 @@ \import{dt-macros} -\taxon{definition} -\title{denotational semantics} +\taxon{Definition} +\title{Denotational semantics} \author{liamoc} \p{A \em{denotational semantics} consists of, for each syntactic class \cal{X} in a language: \ol{ diff --git a/trees/dt-0002.tree b/trees/dt-0002.tree index 5131b8e..ea7964d 100644 --- a/trees/dt-0002.tree +++ b/trees/dt-0002.tree @@ -1,4 +1,4 @@ \import{dt-macros} \author{liamoc} \taxon{Remark} -\p{The choices semantic domain and valuation function is, essentially, arbitrary: we choose objects that reflect those aspects of our programs that we are interested in. For most of the simple languages we will examine, we are only concerned with the \em{results} of the computation, which is a semantics suitable for reasoning about program behaviour and correctness. However, there also exist denotational \em{cost models} that compositionally assign a measure of program performance to syntax. This measure is just another kind of [[dt-0001]].} +\p{The choices semantic domain and valuation function is, essentially, arbitrary: we choose objects that reflect those aspects of our programs that we are interested in. For most of the simple languages we will examine, we are only concerned with the \em{results} of the computation, which is a semantics suitable for reasoning about program behaviour and correctness. However, there also exist denotational \em{cost models} that compositionally assign a measure of program performance to syntax. This measure is just another kind of [denotational semantics](dt-0001).} diff --git a/trees/dt-0003.tree b/trees/dt-0003.tree index 3a388bb..9ea66df 100644 --- a/trees/dt-0003.tree +++ b/trees/dt-0003.tree @@ -1,5 +1,5 @@ \import{dt-macros} -\title{denotational semantics} +\title{Denotational semantics} \author{liamoc} \p{In this course we are concerned with programming languages, which, as with natural languages, consist of a \em{syntax} and \em{semantics}. The syntax of a language is, for our purposes, merely an inductively-defined tree structure (i.e. abstract syntax).} diff --git a/trees/dt-0004.tree b/trees/dt-0004.tree index 79a3c08..d8f825f 100644 --- a/trees/dt-0004.tree +++ b/trees/dt-0004.tree @@ -1,7 +1,7 @@ \import{dt-macros} \author{liamoc} -\title{[[dt-0001]] for [[dt-0000]]} -\taxon{example} +\title{[Denotational semantics](dt-0001) for [the \cal{C} language (without loops)](dt-0000)} +\taxon{Example} \p{We shall first select a semantic domain for each syntactic class: ##{ \begin{array}{lcl} diff --git a/trees/dt-0006.tree b/trees/dt-0006.tree index 19a75a0..026a0c1 100644 --- a/trees/dt-0006.tree +++ b/trees/dt-0006.tree @@ -1,6 +1,6 @@ \import{dt-macros} \author{liamoc} -\title{recursively defined programs} +\title{Recursively defined programs} \p{ Suppose we extended [the \cal{C} language](dt-0000) with a while loop construct: ##{ diff --git a/trees/dt-0007.tree b/trees/dt-0007.tree index 1bbae1d..5a82281 100644 --- a/trees/dt-0007.tree +++ b/trees/dt-0007.tree @@ -1,6 +1,6 @@ \import{dt-macros} \author{liamoc} -\title{recursively defined semantic domains} +\title{Recursively defined semantic domains} \p{Suppose we extend our notion of expressions in [the \cal{C} language](dt-0000) with parameterless \em{higher-order} procedures: ##{ @@ -11,14 +11,14 @@ }} \subtree{ \taxon{Example} -\title{using higher-order procedures} +\title{Using higher-order procedures} \p{We can store procedures in variables, so the program: ##{\mathit{inc} := (\mathsf{proc}\ a := a + 1); \mathit{inc}; \mathit{inc}} has the same effects on the variable #{a} as the program: ##{a := a + 1; a := a + 1} } } -\p{For our [[dt-0001]], our domains now take this form (#{\textcolor{blue}{\text{blue}}} parts are new vs. \ref{dt-0004}), where #{\uplus} denotes \em{disjoint union}: +\p{For our [denotational semantics](dt-0001), our domains now take this form (#{\textcolor{blue}{\text{blue}}} parts are new vs. \ref{dt-0004}), where #{\uplus} denotes \em{disjoint union}: ##{ \begin{array}{lcl} \mathbf{E} & \triangleq & \Sigma \rightarrow \mathbb{Z}\textcolor{blue}{\ \uplus\ \mathbf{C}}\\ @@ -32,7 +32,7 @@ Unfolding the definition of #{\Sigma}, we end up with a recursive equation for t ##{\mathbf{C} \; = \; (\mathcal{V} \rightarrow (\mathbb{Z} \uplus \mathbf{C})) \rightarrow (\mathcal{V} \rightarrow (\mathbb{Z} \uplus \mathbf{C}))} Such equations have \em{no} set-theoretic solution, even if we weaken equality to mere \em{set isomorphism} (here notated #{\simeq}). } -\subtree{\taxon{example}\title{A simpler equation with no solution} +\subtree{\taxon{Example}\title{A simpler equation with no solution} \p{Consider the recursive equation #{X = X \rightarrow \mathbb{B}}. Cantor's theorem says that there is no set #{X} such that #{X \simeq \pow{X}} (where #{\pow{X}} is the [[dm-0006]] of #{X}), and seeing as #{\pow{X} \simeq (X \rightarrow \mathbb{B})} it follows that #{X = X \rightarrow \mathbb{B}} has no solution.} } \p{Any kind of \em{higher-order} construct leads to such recursive domain equations.} diff --git a/trees/dt-0008.tree b/trees/dt-0008.tree index 8d99f33..1b711e2 100644 --- a/trees/dt-0008.tree +++ b/trees/dt-0008.tree @@ -1,5 +1,5 @@ \import{dt-macros} \author{liamoc} -\taxon{definition} -\title{flat domain} +\taxon{Definition} +\title{Flat domain} \p{Given a set #{X}, the \em{flat domain} (or \em{lifted set}) #{X_\bot} is just the set #{X \cup \{ \bot \}} (where #{\bot \notin X}).} diff --git a/trees/dt-0009.tree b/trees/dt-0009.tree index a994086..71b4861 100644 --- a/trees/dt-0009.tree +++ b/trees/dt-0009.tree @@ -1,6 +1,6 @@ \import{dt-macros} \author{liamoc} -\title{flat domains and information ordering} +\title{Flat domains and information ordering} \transclude{dt-000A} \transclude{dt-0008} \transclude{dt-000B} @@ -9,7 +9,7 @@ \put\transclude/toc{false} \put\transclude/numbered{false} \subtree{ -\taxon{warning} -\p{Don't confuse the [[dt-000B]] on numbers, i.e. #{\sqsubseteq} on #{\mathbb{Z}_\bot}, with the \em{numerical} ordering #{\leq} on #{\mathbb{Z}}. We know #{0 \leq 1}, but #{0} and #{1} are not comparable in our flat [[dt-000B]].} +\taxon{Warning} +\p{Don't confuse the [information ordering](dt-000B) on numbers, i.e. #{\sqsubseteq} on #{\mathbb{Z}_\bot}, with the \em{numerical} ordering #{\leq} on #{\mathbb{Z}}. We know #{0 \leq 1}, but #{0} and #{1} are not comparable in our flat [information ordering](dt-000B).} } } diff --git a/trees/dt-000A.tree b/trees/dt-000A.tree index 872a53a..e0dc284 100644 --- a/trees/dt-000A.tree +++ b/trees/dt-000A.tree @@ -1,5 +1,5 @@ \import{dt-macros} \author{liamoc} -\title{the bottom value} +\title{The bottom value} \p{Following [Scott](danascott), we introduce a special \em{bottom} value #{\bot} to our semantic domains. ##{\bot\ \text{represents}\ \begin{cases}\text{an undefined value;}\\\text{an error value;}\\\text{a \emph{non-terminating} computation.} \end{cases}}} diff --git a/trees/dt-000B.tree b/trees/dt-000B.tree index bc2afd8..a8e963d 100644 --- a/trees/dt-000B.tree +++ b/trees/dt-000B.tree @@ -1,6 +1,6 @@ \import{dt-macros} \author{liamoc} -\title{information ordering} -\taxon{definition} -\p{An information ordering is a [[dm-0000]] on denotations, written #{a \sqsubseteq b}. This indicates that #{b} is \em{approximated by}, or carries \em{more information} than, or is \em{more well-defined} than #{a}. -Naturally, [[dt-000A]], being totally uninformative, is always the least element in this ordering.} +\title{Information ordering} +\taxon{Definition} +\p{An information ordering is a [partial order](dm-0000) on denotations, written #{a \sqsubseteq b}. This indicates that #{b} is \em{approximated by}, or carries \em{more information} than, or is \em{more well-defined} than #{a}. +Naturally, [the bottom value](dt-000A), being totally uninformative, is always the least element in this ordering.} diff --git a/trees/dt-000C.tree b/trees/dt-000C.tree index a13b6eb..b8aa249 100644 --- a/trees/dt-000C.tree +++ b/trees/dt-000C.tree @@ -1,8 +1,8 @@ \import{dt-macros} \author{liamoc} -\taxon{example} -\title{information ordering for flat domains} -\p{Consider a [[dt-0008]] #{X_\bot}. There is a natural [[dt-000B]] #{\sqsubseteq} on #{X_\bot}:} +\taxon{Example} +\title{Information ordering for flat domains} +\p{Consider a [flat domain](dt-0008) #{X_\bot}. There is a natural [information ordering](dt-000B) #{\sqsubseteq} on #{X_\bot}:} \figure{\tex{\usepackage{tikz}}{\begin{tikzpicture} \node (d1) at (-1,0) {$\cdots$}; \node (d2) at (4,0) {$\cdots$}; diff --git a/trees/dt-000D.tree b/trees/dt-000D.tree index eb413ae..960b3b7 100644 --- a/trees/dt-000D.tree +++ b/trees/dt-000D.tree @@ -1,8 +1,8 @@ \import{dt-macros} \author{liamoc} -\title{combining domains} +\title{Combining domains} \p{Some of our semantics may depend on the combination of multiple domains, i.e. semantic functions of multiple arguments. As an example, the semantics of an -\syn{if} statement combines the semantics of the condition and the semantics of each of the two branches. In such scenarios, our domains are no longer flat — we must generalise to [[dt-000G]]s.} +\syn{if} statement combines the semantics of the condition and the semantics of each of the two branches. In such scenarios, our domains are no longer flat — we must generalise to [pointed poset](dt-000G)s.} \transclude{dt-000G} \transclude{dt-000E} \transclude{dt-000F} diff --git a/trees/dt-000E.tree b/trees/dt-000E.tree index c87f4bc..e3549b9 100644 --- a/trees/dt-000E.tree +++ b/trees/dt-000E.tree @@ -1,8 +1,8 @@ \import{dt-macros} \author{liamoc} -\taxon{construction} -\title{product of two pointed posets} -\p{Given two [[dt-000G]]s #{X} and #{Y}, the [product](dm-0005) [[dm-0004]] #{X \times Y} is ordered as follows: +\taxon{Construction} +\title{Product of two pointed posets} +\p{Given two [pointed poset](dt-000G)s #{X} and #{Y}, the [product](dm-0005) [poset](dm-0004) #{X \times Y} is ordered as follows: ##{ (x,y) \sqsubseteq_{X \times Y} (x',y') \quad \text{iff} \quad x \sqsubseteq_X x' \land y \sqsubseteq_Y y' } Intuitively, this says that "the information content of a pair of values is increased by increasing the information of either or both of its component values".} -\p{This [product](dm-0005) [[dm-0004]] is also pointed, with bottom value #{\bot_{X \times Y}} being #{(\bot_A, \bot_B)}.} +\p{This [product](dm-0005) [poset](dm-0004) is also pointed, with bottom value #{\bot_{X \times Y}} being #{(\bot_A, \bot_B)}.} diff --git a/trees/dt-000F.tree b/trees/dt-000F.tree index dbe5625..cd9a428 100644 --- a/trees/dt-000F.tree +++ b/trees/dt-000F.tree @@ -1,7 +1,7 @@ \import{dt-macros} \author{liamoc} -\taxon{example} -\title{the domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot}} +\taxon{Example} +\title{The domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot}} \figure{\tex{\usepackage{tikz}}{ \begin{tikzpicture} \node (ff) at (0,1) {$(F,F)$}; @@ -27,4 +27,4 @@ (tb.north) -- (tf); \end{tikzpicture} }} -\p{As can be seen above, the domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot} is not flat, but it is still a [[dt-000G]].} +\p{As can be seen above, the domain #{\mathbb{B}_\bot \times \mathbb{B}_\bot} is not flat, but it is still a [pointed poset](dt-000G).} diff --git a/trees/dt-000G.tree b/trees/dt-000G.tree index 53a0e76..52ce458 100644 --- a/trees/dt-000G.tree +++ b/trees/dt-000G.tree @@ -1,5 +1,5 @@ \import{dt-macros} \author{liamoc} -\taxon{definition} -\title{pointed poset} -\p{A \em{pointed [[dm-0004]]} is a [partially ordered set](dm-0004) with a [bottom value](dt-000A).} +\taxon{Definition} +\title{Pointed poset} +\p{A \em{pointed [poset](dm-0004)} is a [partially ordered set](dm-0004) with a [bottom value](dt-000A).} diff --git a/trees/dt-000H.tree b/trees/dt-000H.tree index 986148e..0babc8c 100644 --- a/trees/dt-000H.tree +++ b/trees/dt-000H.tree @@ -1,7 +1,7 @@ \import{dt-macros} \title{Monotonic Functions} \author{liamoc} -\p{If we model our semantic domains for values with [[dt-000G]]s, then programs are modelled by functions between such [[dm-0004]]s. But, not all functions are suitable:} +\p{If we model our semantic domains for values with [pointed poset](dt-000G)s, then programs are modelled by functions between such [poset](dm-0004)s. But, not all functions are suitable:} \transclude{dt-000I} \p{It stands to reason that the amount of information we get out of our functions should grow as we increase the amount of information we put into them. Such functions are called \em{monotonic} with respect to our information ordering.} @@ -11,7 +11,7 @@ Such functions are called \em{monotonic} with respect to our information orderin \put\transclude/toc{false} \put\transclude/numbered{false} \subtree{ -\taxon{thesis} +\taxon{Thesis} \p{Computable functions are [monotonic](dt-000J) (observe that #{H} is not). } } } diff --git a/trees/dt-000I.tree b/trees/dt-000I.tree index 124fa61..22dd3cb 100644 --- a/trees/dt-000I.tree +++ b/trees/dt-000I.tree @@ -1,7 +1,7 @@ \import{dt-macros} -\taxon{example} +\taxon{Example} \author{liamoc} -\title{the halting query} +\title{The halting query} \p{The function #{H : \mathbb{B}_\bot \rightarrow \mathbb{B}_\bot} seems to let us solve the halting problem, assuming #{\bot} represents non-termination: ##{ H(v) \; = \; \begin{cases} F & \text{if}\ v = \bot \\ T & \text{otherwise} \end{cases} diff --git a/trees/dt-000J.tree b/trees/dt-000J.tree index a29b520..47bd9e3 100644 --- a/trees/dt-000J.tree +++ b/trees/dt-000J.tree @@ -1,6 +1,6 @@ \import{dt-macros} -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{monotonicity} -\p{A function #{f : X \rightarrow Y} between [[dm-0004]]s #{X} and #{Y} is \em{monotone} (or \em{monotonic}) if, for all #{x, y \in X}: +\title{Monotonicity} +\p{A function #{f : X \rightarrow Y} between [poset](dm-0004)s #{X} and #{Y} is \em{monotone} (or \em{monotonic}) if, for all #{x, y \in X}: ##{ x \sqsubseteq y\; \text{implies}\; f(x) \sqsubseteq f(y) }} diff --git a/trees/dt-000K.tree b/trees/dt-000K.tree index e5f03f0..f24eeae 100644 --- a/trees/dt-000K.tree +++ b/trees/dt-000K.tree @@ -1,5 +1,5 @@ \import{dt-macros} \author{liamoc} -\taxon{definition} -\title{strictness} -\p{A function #{f : X \rightarrow Y} on pointed posets #{X} and #{Y} is \em{strict} if it preserves [[dt-000A]], i.e. #{f(\bot_X) = \bot_Y}. } +\taxon{Definition} +\title{Strictness} +\p{A function #{f : X \rightarrow Y} on pointed posets #{X} and #{Y} is \em{strict} if it preserves [the bottom value](dt-000A), i.e. #{f(\bot_X) = \bot_Y}. } diff --git a/trees/dt-000N.tree b/trees/dt-000N.tree index 2eaa912..fdf6e93 100644 --- a/trees/dt-000N.tree +++ b/trees/dt-000N.tree @@ -1,4 +1,4 @@ \import{dt-macros} -\taxon{exercise} +\taxon{Exercise} \author{liamoc} \p{Consider the functions #{\mathbb{B}_\bot \rightarrow \mathbb{B}_\bot}. Which ones are [monotonic](dt-000J)? There are a total of 27 such functions but only three significant classes.} diff --git a/trees/dt-000O.tree b/trees/dt-000O.tree index f3dfff1..bc167fc 100644 --- a/trees/dt-000O.tree +++ b/trees/dt-000O.tree @@ -1,5 +1,5 @@ \import{dt-macros} -\taxon{exercise} +\taxon{Exercise} \author{liamoc} \p{Let #{\mathbf{K}_K} denote the chain of values #{x_1, x_2, x_3, \dots, x_K} where #{a \leq b} implies #{x_a \sqsubseteq x_b}. There is one [monotonic](dt-000J) function #{\mathbf{K}_1 \rightarrow \mathbf{K}_1}:} \figure{\tex{\usepackage{tikz}}{ diff --git a/trees/dt-000P.tree b/trees/dt-000P.tree index dacb30b..31cf6cf 100644 --- a/trees/dt-000P.tree +++ b/trees/dt-000P.tree @@ -1,5 +1,5 @@ \import{dt-macros} -\taxon{exercise} +\taxon{Exercise} \author{liamoc} \p{Give a semantics to the \syn{proc} construct: \ol{ diff --git a/trees/dt-000Q.tree b/trees/dt-000Q.tree index 71a7980..d04c2ca 100644 --- a/trees/dt-000Q.tree +++ b/trees/dt-000Q.tree @@ -1,7 +1,7 @@ \import{dt-macros} -\taxon{exercise} +\taxon{Exercise} \author{liamoc} \ol{ -\li{Give an example of a [[dm-0004]] #{A} and a [monotonic](dt-000J) function #{f : A \rightarrow A} such that #{f} \em{doesn't} have a [[dt-000S]].} -\li{Give an example of a [[dm-0004]] #{A} and a [monotonic](dt-000J) function #{f : A \rightarrow A} such that #{f} has \em{multiple} [[dt-000S]]s.} +\li{Give an example of a [poset](dm-0004) #{A} and a [monotonic](dt-000J) function #{f : A \rightarrow A} such that #{f} \em{doesn't} have a [fixed point](dt-000S).} +\li{Give an example of a [poset](dm-0004) #{A} and a [monotonic](dt-000J) function #{f : A \rightarrow A} such that #{f} has \em{multiple} [fixed point](dt-000S)s.} } diff --git a/trees/dt-000R.tree b/trees/dt-000R.tree index c2ecb5b..be71def 100644 --- a/trees/dt-000R.tree +++ b/trees/dt-000R.tree @@ -18,5 +18,5 @@ How do we ensure that solutions exist for such recursive equations? And, if mult \end{cases} \end{array} } -Looking at it this way, we can see that any solution to this equation must be an element of our semantic domain #{X \in \mathbf{C}} such that #{f(X) = X}. In other words, the problem of finding solutions to our recursive equations can be cast as the problem of finding a [[dt-000S]] for \em{non-recursive} higher-order functions. +Looking at it this way, we can see that any solution to this equation must be an element of our semantic domain #{X \in \mathbf{C}} such that #{f(X) = X}. In other words, the problem of finding solutions to our recursive equations can be cast as the problem of finding a [fixed point](dt-000S) for \em{non-recursive} higher-order functions. } diff --git a/trees/dt-000S.tree b/trees/dt-000S.tree index 9acc4e6..d2b4ba8 100644 --- a/trees/dt-000S.tree +++ b/trees/dt-000S.tree @@ -1,6 +1,6 @@ \import{dt-macros} -\taxon{definition} +\taxon{Definition} \author{liamoc} -\title{fixed point} +\title{Fixed point} \p{A value #{x} is a \em{fixed point} of a function #{f} if #{f(x) = x}. } diff --git a/trees/dt-000T.tree b/trees/dt-000T.tree index 0ee5de2..e3d399c 100644 --- a/trees/dt-000T.tree +++ b/trees/dt-000T.tree @@ -4,8 +4,8 @@ \scope{ \put\transclude/toc{false} \put\transclude/numbered{false} -\subtree{\taxon{problem} -\p{Not all [monotonic](dt-000J) functions on [[dm-0004]]s have [[dt-000S]], and some have \em{multiple} [[dt-000S]]s!} +\subtree{\taxon{Problem} +\p{Not all [monotonic](dt-000J) functions on [posets](dm-0004) have [fixed points](dt-000S), and some have \em{multiple} [fixed point](dt-000S)s!} }} \p{So, requiring our functions to be monotonic is insufficient to guarantee that a single "best" solution exists. } \p{Intuitively, recursive programs are executed by "unfolding" as much as necessary to get a result. We would like to characterise our domains to ensure that solutions always exist, and to allow us to pick the solutions that are "minimal" in the sense that they rely on a minimal amount of unfolding.} diff --git a/trees/loc-0001.tree b/trees/loc-0001.tree index 81cec0d..b837593 100644 --- a/trees/loc-0001.tree +++ b/trees/loc-0001.tree @@ -1,41 +1,18 @@ \import{refs-datalog} -\title{works of [[liamoc]]} -\taxon{bibliography} +\title{Works of [[liamoc]]} +\taxon{Bibliography} \author{liamoc} +\transclude{loc-000F} +\transclude{loc-000G} +\transclude{loc-000H} +\transclude{loc-000I} +\transclude{loc-000J} -\subtree{ - \title{refereed papers} - \query\datalog{ - ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{refereed}} - } -} - - -\subtree{ - \title{invited papers} - \query\datalog{ - ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{invited}} - } -} \subtree{ - \title{notable talks (not associated with papers)} - \query\datalog{ - ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{talk}} - } -} - -\subtree{ - \title{workshop papers} - \query\datalog{ - ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{workshop}} - } -} - -\subtree{ - \title{theses and dissertations} + \title{Theses and dissertations} \query\datalog{ ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{thesis}} } diff --git a/trees/loc-0002.tree b/trees/loc-0002.tree index 9b67a41..ef42f82 100644 --- a/trees/loc-0002.tree +++ b/trees/loc-0002.tree @@ -1,14 +1,14 @@ -\title{students} +\title{Students} \author{liamoc} \subtree{ - \title{doctoral students} + \title{Doctoral students} \ul{ \li{ [[rayhana]]: 2023–present. Linear Temporal Logic with finite observations. Jointly supervised with [[rvg]] at the [[uoe]]. } } \scope{ \put\transclude/toc{false} \subtree{ - \title{secondary supervisions} + \title{Secondary supervisions} \ul{ \li{ [[tudor]]: 2021–present, primary supervisor is [[wadler]] at the [[uoe]]. } \li{ [[mathieu]]: 2022–present, primary supervisor is [[tgrosser]] at the [[cam]]. } @@ -17,14 +17,14 @@ } \subtree{ - \title{masters students} + \title{Masters students} \ul{ \li{ Shaonan Li: 2022, [[uoe]]. \em{Exploring the 8-bit demoscene.}} } } \subtree{ - \title{bachelors students} + \title{Bachelors students} \ul{ \li{[[jackb]]: 2025, [[anu]] Semester Project. \em{A File Format for Holbert Proofs.}} \li{[[sandwichman]]: 2023-2024, [[uoe]]. \em{Concurrent Games in Agda.}} diff --git a/trees/loc-0003.tree b/trees/loc-0003.tree index 1710278..6c3f9ad 100644 --- a/trees/loc-0003.tree +++ b/trees/loc-0003.tree @@ -1,4 +1,4 @@ -\title{academic community roles} +\title{Academic community roles} \author{liamoc} \ul{ @@ -12,7 +12,7 @@ } \subtree{ - \title{program committees} + \title{Program committees} \ul{ \li{[[haskell25]]} \li{[[fproper25]]} @@ -29,7 +29,7 @@ } \subtree{ - \title{other reviewing} + \title{Other reviewing} \ul{ \li{External Review, [[tase23]]} \li{External Review, [[esop22]]} diff --git a/trees/loc-0004.tree b/trees/loc-0004.tree index a03e98e..450bc81 100644 --- a/trees/loc-0004.tree +++ b/trees/loc-0004.tree @@ -1,11 +1,11 @@ -\title{curriculum vitæ} +\title{Curriculum vitæ} \author{liamoc} \transclude{loc-0008} \transclude{loc-0005} \transclude{loc-0006} -\transclude{loc-0001/0} -\transclude{loc-0001/1} -\transclude{loc-0001/2} +\transclude{loc-000F} +\transclude{loc-000G} +\transclude{loc-000H} \transclude{loc-0007} \transclude{loc-0002} \transclude{loc-0003} diff --git a/trees/loc-0005.tree b/trees/loc-0005.tree index 3ccae65..0e1f689 100644 --- a/trees/loc-0005.tree +++ b/trees/loc-0005.tree @@ -1,5 +1,5 @@ \import{table-macros} -\title{education} +\title{Education} \author{liamoc} \scope{ diff --git a/trees/loc-0006.tree b/trees/loc-0006.tree index cacb044..097397c 100644 --- a/trees/loc-0006.tree +++ b/trees/loc-0006.tree @@ -1,5 +1,5 @@ \import{table-macros} -\title{professional history} +\title{Professional history} \author{liamoc} \ul{ \li{2024–present: \strong{Senior Lecturer}, [[anu]]\br diff --git a/trees/loc-0007.tree b/trees/loc-0007.tree index 4f19882..2f22894 100644 --- a/trees/loc-0007.tree +++ b/trees/loc-0007.tree @@ -1,11 +1,11 @@ \import{table-macros} -\title{teaching} +\title{Teaching} \author{liamoc} -\p{The following teaching engagements were/are all at [[anu]]:} +\p{The following teaching engagements were/are all at the [[anu]]:} \table{ \tr{\td{2025}\td{ [[COMP1100]]. Lecturer.}} } -\p{The following teaching engagements were all at [[uoe]]:} +\p{The following teaching engagements were all at the [[uoe]]:} \table{ \tr{\td{2024}\td{ [[typesig-dt]] (15 students). Invited Lecturer.}} \tr{\td{}\td{ [[mcs]] (30 students). Lecturer Convenor, Tutor.}} diff --git a/trees/loc-0008.tree b/trees/loc-0008.tree index 6477b85..6e785ac 100644 --- a/trees/loc-0008.tree +++ b/trees/loc-0008.tree @@ -1,4 +1,4 @@ -\title{research themes} +\title{Research themes} \author{liamoc} \p{I specialise in the intersection of programming languages and formal methods, with a particular emphasis on type systems, test frameworks and other connections between specification and implementation.} \p{I enjoy applying theory to practice: developing programming languages and tools based on established theoretical models and techniques.} diff --git a/trees/loc-0009.tree b/trees/loc-0009.tree index f4a62f0..e280409 100644 --- a/trees/loc-0009.tree +++ b/trees/loc-0009.tree @@ -1,4 +1,4 @@ -\title{contact} +\title{Contact} \author{liamoc} \p{I am generally available via email, at \code{me@} this domain. I may also be found on Discord (\code{liamoc}), various Zulips (SPLS, Lean, Agda), the [cogent-club slack](https://cogent-club.slack.com/), [bluesky](https://bsky.app/profile/liamoc.net), [the types.pl mastodon instance](https://types.pl/@liamoc), and inexplicably still [twitter](https://twitter.com/kamatsu8). My office is Room N213 in the Skaidrite Darius Building (CSIT) 108 on the [ANU](anu) Campus. The office door is open to the public so feel free to pop over if you want to visit me. To ensure my availability, it may be wise to first contact me via other means to make an appointment.} \p{If you are a student or a colleague, please contact me via my [ANU](anu) email (\code{liam.oconnor} at \code{anu.edu.au}), or on the appropriate course forum (e.g. Ed).} diff --git a/trees/loc-000A.tree b/trees/loc-000A.tree index fb7a363..77f8d46 100644 --- a/trees/loc-000A.tree +++ b/trees/loc-000A.tree @@ -1,5 +1,5 @@ \import{refs-datalog} -\title{property-based testing} +\title{Property-based testing} \taxon{Research Theme} \author{liamoc} \p{I'm interested in bringing more formal methods techniques into the world of testing and traditional software engineering via the avenue of property-based testing.} diff --git a/trees/loc-000B.tree b/trees/loc-000B.tree index 4612ec1..d6e5002 100644 --- a/trees/loc-000B.tree +++ b/trees/loc-000B.tree @@ -1,5 +1,5 @@ \import{refs-datalog} -\title{temporal logic} +\title{Temporal logic} \taxon{Research Theme} \author{liamoc} \p{As one of the most common ways to specify reactive systems, temporal logic hasn't gotten as much attention as it deserves. I hope to expand on the theory of temporal logics as well as put them into more practical software engineering tools.} diff --git a/trees/loc-000C.tree b/trees/loc-000C.tree index 8f54704..1d49b59 100644 --- a/trees/loc-000C.tree +++ b/trees/loc-000C.tree @@ -1,5 +1,5 @@ \import{refs-datalog} -\title{semantics} +\title{Semantics} \author{liamoc} \taxon{Research Theme} \p{While I haven't had much opportunity to do research purely in semantics, I am fascinated by the field and eager to work on problems in that area.} diff --git a/trees/loc-000F.tree b/trees/loc-000F.tree new file mode 100644 index 0000000..8f75e46 --- /dev/null +++ b/trees/loc-000F.tree @@ -0,0 +1,6 @@ +\author{liamoc} +\import{refs-datalog} + \title{Refereed papers} + \query\datalog{ + ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{refereed}} + } diff --git a/trees/loc-000G.tree b/trees/loc-000G.tree new file mode 100644 index 0000000..3a4468b --- /dev/null +++ b/trees/loc-000G.tree @@ -0,0 +1,6 @@ +\author{liamoc} +\import{refs-datalog} + \title{Invited papers} + \query\datalog{ + ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{invited}} + } diff --git a/trees/loc-000H.tree b/trees/loc-000H.tree new file mode 100644 index 0000000..6a82fe4 --- /dev/null +++ b/trees/loc-000H.tree @@ -0,0 +1,6 @@ +\author{liamoc} +\import{refs-datalog} +\title{Notable talks (not associated with papers)} +\query\datalog{ + ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{talk}} +} diff --git a/trees/loc-000I.tree b/trees/loc-000I.tree new file mode 100644 index 0000000..d3844c8 --- /dev/null +++ b/trees/loc-000I.tree @@ -0,0 +1,6 @@ +\author{liamoc} +\import{refs-datalog} +\title{Workshop papers} +\query\datalog{ + ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{workshop}} +} diff --git a/trees/loc-000J.tree b/trees/loc-000J.tree new file mode 100644 index 0000000..84174eb --- /dev/null +++ b/trees/loc-000J.tree @@ -0,0 +1,6 @@ +\author{liamoc} +\import{refs-datalog} + \title{Theses and dissertations} + \query\datalog{ + ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{thesis}} + } diff --git a/trees/news.tree b/trees/news.tree index 7081ad4..566d002 100644 --- a/trees/news.tree +++ b/trees/news.tree @@ -3,43 +3,43 @@ \author{liamoc} \table{ \tr{ - \th{ 2025-03-22 } + \th{ 25.03.22 } \td{I have joined the PC for [[haskell25]]. } } \tr{ - \th{ 2025-03-13 } + \th{ 25.03.13 } \td{I have joined the PC for [[fproper25]]. } } \tr{ - \th{ 2025-02-04 } + \th{ 25.02.04 } \td{ [[jackb]] has joined me for a semester project working on [Holbert](oconnor-amjad-2022). } } \tr{ - \th{ 2025-01-08 } + \th{ 25.01.08 } \td{I have joined the PC for [[aplas25]]. } } \tr{ - \th{ 2024-11-05 } + \th{ 24.11.05 } \td{I have joined the PC for [[icfp25]]. } } \tr{ - \th{ 2024-10-22 } + \th{ 24.10.22 } \td{I have joined the PC for [[pldi25]]. } } \tr{ - \th{ 2024-09-17 } + \th{ 24.09.17 } \td{I have agreed to organise the [[icfpc25]]. } } \tr{ - \th{2024-09-30 } + \th{24.09.30 } \td{I was delighted to spend a week with the [WG2.1](wg21) folks here at the [ANU](anu).} } \tr{ - \th{ 2024-09-09 } - \td{Our student [[rayhana]] has published her first paper, [[amjad-vanglabbeek-oconnor-2024]] at [EXPRESS/SOS](expresssos24). } + \th{ 24.09.09 } + \td{Our student [[rayhana]] has published her first paper, [[amjad-vanglabbeek.oconnor-24]] at [EXPRESS/SOS](expresssos24). } } \tr{ - \th{ 2024-07-30 } + \th{ 24.07.30 } \td{I have taken a new position as a Senior Lecturer at the [[anu]]. } } diff --git a/trees/people/amblafont.tree b/trees/people/amblafont.tree index 680852e..e52a85b 100644 --- a/trees/people/amblafont.tree +++ b/trees/people/amblafont.tree @@ -1,5 +1,5 @@ \title{Ambroise Lafont} -\taxon{person} +\taxon{Person} \meta{external}{https://amblafont.github.io/} \meta{institution}{[[polytechnique]]} \meta{orcid}{0000-0002-9299-641X} diff --git a/trees/people/aria.tree b/trees/people/aria.tree index 07b9b08..d28450a 100644 --- a/trees/people/aria.tree +++ b/trees/people/aria.tree @@ -1,5 +1,5 @@ \title{Aria Shrimpton} -\taxon{person} +\taxon{Person} \meta{external}{https://aria.rip/} \meta{institution}{Spectral Compute} \meta{position}{Software Engineer} diff --git a/trees/people/ccm.tree b/trees/people/ccm.tree index 289252a..1405fe0 100644 --- a/trees/people/ccm.tree +++ b/trees/people/ccm.tree @@ -1,5 +1,5 @@ \title{Carroll Morgan} -\taxon{person} +\taxon{Person} \meta{external}{https://cgi.cse.unsw.edu.au/~carrollm/} \meta{institution}{[[unsw]]} \meta{position}{Professor} diff --git a/trees/people/chak.tree b/trees/people/chak.tree index 1bced2a..f33b3a3 100644 --- a/trees/people/chak.tree +++ b/trees/people/chak.tree @@ -1,5 +1,5 @@ \title{Manuel Chakravarty} -\taxon{person} +\taxon{Person} \meta{external}{https://justtesting.org/} \meta{institution}{[[tweag]] and [[iohk]]} \meta{position}{Lambda Scientist} diff --git a/trees/people/craigmcl.tree b/trees/people/craigmcl.tree index 4b8a7e9..ee1411f 100644 --- a/trees/people/craigmcl.tree +++ b/trees/people/craigmcl.tree @@ -1,5 +1,5 @@ \title{Craig McLaughlin} -\taxon{person} +\taxon{Person} \meta{external}{https://www.unsw.edu.au/staff/craig-mclaughlin} \meta{institution}{[[unsw]]} \meta{orcid}{0000-0002-1323-8566} diff --git a/trees/people/crizkallah.tree b/trees/people/crizkallah.tree index 59f2839..42f3c98 100644 --- a/trees/people/crizkallah.tree +++ b/trees/people/crizkallah.tree @@ -1,5 +1,5 @@ \title{Christine Rizkallah} -\taxon{person} +\taxon{Person} \meta{external}{https://people.eng.unimelb.edu.au/rizkallahc/} \meta{institution}{[[unimelb]]} \meta{orcid}{0000-0003-4785-2836} diff --git a/trees/people/danascott.tree b/trees/people/danascott.tree index 34b2aff..fc728b6 100644 --- a/trees/people/danascott.tree +++ b/trees/people/danascott.tree @@ -1,5 +1,5 @@ \title{Dana Scott} -\taxon{person} +\taxon{Person} \meta{institution}{[[toposinstitute]]; [[cmu]]} \meta{position}{Senior Advisor, Emeritus Professor} \meta{external}{http://www.cs.cmu.edu/~scott/} diff --git a/trees/people/gckeller.tree b/trees/people/gckeller.tree index 66443df..0793ea1 100644 --- a/trees/people/gckeller.tree +++ b/trees/people/gckeller.tree @@ -1,5 +1,5 @@ \title{Gabriele Keller} -\taxon{person} +\taxon{Person} \meta{external}{https://www.uu.nl/staff/GKKeller} \meta{institution}{[[uu]]} \meta{orcid}{0000-0003-1442-5387} diff --git a/trees/people/gklein.tree b/trees/people/gklein.tree index 6d5c7af..a06c166 100644 --- a/trees/people/gklein.tree +++ b/trees/people/gklein.tree @@ -1,5 +1,5 @@ \title{Gerwin Klein} -\taxon{person} +\taxon{Person} \meta{external}{https://cgi.cse.unsw.edu.au/~kleing/} \meta{institution}{[[unsw]] and [Proofcraft](https://proofcraft.systems/)} \meta{orcid}{0000-0001-8883-0559} diff --git a/trees/people/heiser.tree b/trees/people/heiser.tree index aa53351..16d22d0 100644 --- a/trees/people/heiser.tree +++ b/trees/people/heiser.tree @@ -1,5 +1,5 @@ \title{Gernot Heiser} -\taxon{person} +\taxon{Person} \meta{external}{https://microkerneldude.org/} \meta{institution}{[[unsw]]} \meta{orcid}{0000-0002-7069-0831} diff --git a/trees/people/hoefner.tree b/trees/people/hoefner.tree index c3c34ed..4f09db8 100644 --- a/trees/people/hoefner.tree +++ b/trees/people/hoefner.tree @@ -1,5 +1,5 @@ \title{Peter Höfner} -\taxon{person} +\taxon{Person} \meta{external}{http://www.hoefner-online.de/} \meta{institution}{[[anu]]} \meta{orcid}{0000-0002-2141-5868} diff --git a/trees/people/jackb.tree b/trees/people/jackb.tree index 12d06cd..a665660 100644 --- a/trees/people/jackb.tree +++ b/trees/people/jackb.tree @@ -1,4 +1,4 @@ \title{Jack Bashford} -\taxon{person} +\taxon{Person} \meta{institution}{[[anu]]} \meta{position}{Undergraduate Student} diff --git a/trees/people/jcb.tree b/trees/people/jcb.tree index faa82fa..55b8cfa 100644 --- a/trees/people/jcb.tree +++ b/trees/people/jcb.tree @@ -1,5 +1,5 @@ \title{Julian Bradfield} -\taxon{person} +\taxon{Person} \meta{external}{https://www.julianbradfield.org/academic.html} \meta{institution}{[[uoe]]} \meta{position}{Reader} diff --git a/trees/people/kaie.tree b/trees/people/kaie.tree index 0b51a19..96ad30b 100644 --- a/trees/people/kaie.tree +++ b/trees/people/kaie.tree @@ -1,3 +1,3 @@ \title{Kai Engelhardt} -\taxon{person} +\taxon{Person} \meta{position}{(Unfortunately former) scientist} diff --git a/trees/people/keshen.tree b/trees/people/keshen.tree index 305449b..a3ced15 100644 --- a/trees/people/keshen.tree +++ b/trees/people/keshen.tree @@ -1,4 +1,4 @@ \title{Ke Shen} -\taxon{person} +\taxon{Person} \meta{external}{https://github.com/Ascarshen} \meta{institution}{[[uoe]]} diff --git a/trees/people/lcheung.tree b/trees/people/lcheung.tree index 5dcd1a4..e511707 100644 --- a/trees/people/lcheung.tree +++ b/trees/people/lcheung.tree @@ -1,5 +1,5 @@ \title{Louis Cheung} -\taxon{person} +\taxon{Person} \meta{institution}{[[unimelb]]} \meta{orcid}{0000-0002-3530-6662} \meta{position}{PhD Student} diff --git a/trees/people/liamoc.tree b/trees/people/liamoc.tree index d983b7c..4d9221e 100644 --- a/trees/people/liamoc.tree +++ b/trees/people/liamoc.tree @@ -1,13 +1,13 @@ \import{table-macros} \title{Liam O'Connor} -\taxon{person} +\taxon{Person} \meta{external}{https://liamoc.net} \meta{institution}{[[anu]]} \meta{orcid}{0000-0003-2765-4269} \meta{position}{Senior Lecturer} \[class]{portrait}[src]{\route-asset{assets/me.jpeg}} \p{I am a Senior Lecturer in Foundations at the [[anu]] School of Computing, on [[loc-000D]]. I'm also an Honorary Fellow at the [[uoe]] Laboratory for Foundations of Computer Science, where I worked until 2024.} -\p{Lately, my research has been focused on [[loc-000A]], [[loc-000C]] and [[loc-000B]], but I have very broad research interests. See my [personal bibliography](loc-0001) for a full list of my work.} +\p{Lately, my research has been focused on [property-based testing](loc-000A), [semantics](loc-000C) and [temporal logic](loc-000B), but I have very broad research interests. See my [personal bibliography](loc-0001) for a full list of my work.} \p{Previously, I lectured courses at [[unsw]], where I did my PhD with [[gckeller]] and the Trustworthy Systems Team lead by [[heiser]], focusing on the [[cogent]] project.} -\p{More details about me can be found on my [[loc-0004]].} +\p{More details about me can be found on my [curriculum vitæ](loc-0004).} diff --git a/trees/people/mathieu.tree b/trees/people/mathieu.tree index 740d862..507fc36 100644 --- a/trees/people/mathieu.tree +++ b/trees/people/mathieu.tree @@ -1,5 +1,5 @@ \title{Mathieu Fehr} -\taxon{person} +\taxon{Person} \meta{external}{https://github.com/math-fehr} \meta{institution}{[[uoe]]} \meta{position}{PhD Student} diff --git a/trees/people/msteuwer.tree b/trees/people/msteuwer.tree index b76a049..1b05fe6 100644 --- a/trees/people/msteuwer.tree +++ b/trees/people/msteuwer.tree @@ -1,5 +1,5 @@ \title{Michel Steuwer} -\taxon{person} +\taxon{Person} \meta{external}{https://michel.steuwer.info/} \meta{institution}{[[tu-berlin]]} \meta{orcid}{0000-0001-5048-0741} diff --git a/trees/people/ohad.tree b/trees/people/ohad.tree index e035ae1..d13ebe9 100644 --- a/trees/people/ohad.tree +++ b/trees/people/ohad.tree @@ -1,5 +1,5 @@ \title{Ohad Kammar} -\taxon{person} +\taxon{Person} \meta{external}{https://denotational.co.uk/} \meta{institution}{[[uoe]]} \meta{orcid}{0000-0002-2071-0929} diff --git a/trees/people/owickstrom.tree b/trees/people/owickstrom.tree index fb6cac3..2ccfe5e 100644 --- a/trees/people/owickstrom.tree +++ b/trees/people/owickstrom.tree @@ -1,5 +1,5 @@ \title{Oskar Wickström} -\taxon{person} +\taxon{Person} \meta{external}{https://wickstrom.tech/} \meta{institution}{Monoid Consulting} \meta{position}{Software Engineer} diff --git a/trees/people/rayhana.tree b/trees/people/rayhana.tree index 1f647df..b0803f3 100644 --- a/trees/people/rayhana.tree +++ b/trees/people/rayhana.tree @@ -1,5 +1,5 @@ \title{Rayhana Amjad} -\taxon{person} +\taxon{Person} \meta{external}{https://rayhana.dev/} \meta{institution}{[[uoe]]} \meta{orcid}{0000-0002-3086-1720} diff --git a/trees/people/rvg.tree b/trees/people/rvg.tree index a1cd4d3..c710ec3 100644 --- a/trees/people/rvg.tree +++ b/trees/people/rvg.tree @@ -1,5 +1,5 @@ \title{Rob van Glabbeek} -\taxon{person} +\taxon{Person} \meta{external}{https://theory.stanford.edu/~rvg/} \meta{institution}{[[uoe]]} \meta{orcid}{0000-0003-4712-7423} diff --git a/trees/people/sandwichman.tree b/trees/people/sandwichman.tree index fcc85a0..6da813e 100644 --- a/trees/people/sandwichman.tree +++ b/trees/people/sandwichman.tree @@ -1,5 +1,5 @@ \title{Amy Yin} -\taxon{person} +\taxon{Person} \meta{external}{https://github.com/yinamy} \meta{institution}{[[cam]]} \meta{position}{Masters Student} diff --git a/trees/people/tgrosser.tree b/trees/people/tgrosser.tree index 0cc4d56..5e1a9df 100644 --- a/trees/people/tgrosser.tree +++ b/trees/people/tgrosser.tree @@ -1,5 +1,5 @@ \title{Tobias Grosser} -\taxon{person} +\taxon{Person} \meta{external}{https://grosser.science/} \meta{institution}{[[cam]]} \meta{orcid}{0000-0003-3874-6003} diff --git a/trees/people/tobym.tree b/trees/people/tobym.tree index d954f56..d3233a0 100644 --- a/trees/people/tobym.tree +++ b/trees/people/tobym.tree @@ -1,5 +1,5 @@ \title{Toby Murray} -\taxon{person} +\taxon{Person} \meta{external}{https://people.eng.unimelb.edu.au/tobym/} \meta{institution}{[[unimelb]]} \meta{orcid}{0000-0002-8271-0289} diff --git a/trees/people/tsewell.tree b/trees/people/tsewell.tree index d237e21..194afc2 100644 --- a/trees/people/tsewell.tree +++ b/trees/people/tsewell.tree @@ -1,5 +1,5 @@ \title{Thomas Sewell} -\taxon{person} +\taxon{Person} \meta{external}{https://cgi.cse.unsw.edu.au/~tsewell/} \meta{institution}{[[unsw]]} \meta{orcid}{0000-0002-4891-0797} diff --git a/trees/people/tudor.tree b/trees/people/tudor.tree index 4d90440..028ace7 100644 --- a/trees/people/tudor.tree +++ b/trees/people/tudor.tree @@ -1,5 +1,5 @@ \title{Tudor Ferariu} -\taxon{person} +\taxon{Person} \meta{external}{https://people.inf.ed.ac.uk/Tudor_Ferariu.html} \meta{institution}{[[uoe]]} \meta{position}{PhD Student} diff --git a/trees/people/vjackson.tree b/trees/people/vjackson.tree index 12b1446..c1f48b2 100644 --- a/trees/people/vjackson.tree +++ b/trees/people/vjackson.tree @@ -1,5 +1,5 @@ \title{Vincent Jackson} -\taxon{person} +\taxon{Person} \meta{institution}{[[unimelb]]} \meta{orcid}{0000-0002-8737-4202} \meta{position}{PhD Student} diff --git a/trees/people/wadler.tree b/trees/people/wadler.tree index 8bb4aa6..47811be 100644 --- a/trees/people/wadler.tree +++ b/trees/people/wadler.tree @@ -1,5 +1,5 @@ \title{Philip Wadler} -\taxon{person} +\taxon{Person} \meta{external}{https://homepages.inf.ed.ac.uk/wadler/} \meta{institution}{[[uoe]]} \meta{orcid}{0000-0001-7619-6378} diff --git a/trees/people/yutakang.tree b/trees/people/yutakang.tree index 5c901db..84e0b68 100644 --- a/trees/people/yutakang.tree +++ b/trees/people/yutakang.tree @@ -1,5 +1,5 @@ \title{Yutaka Nagashima} -\taxon{person} +\taxon{Person} \meta{external}{https://yutakang.github.io/} \meta{institution}{Czech Academy of Sciences} \meta{orcid}{0000-0001-6693-5325} diff --git a/trees/people/zilinc.tree b/trees/people/zilinc.tree index 406824b..0a74c23 100644 --- a/trees/people/zilinc.tree +++ b/trees/people/zilinc.tree @@ -1,5 +1,5 @@ \title{Zilin Chen} -\taxon{person} +\taxon{Person} \meta{external}{https://zilinc.github.io/} \meta{institution}{[[ntu]]} \meta{orcid}{0000-0003-0854-2464} diff --git a/trees/places/anu.tree b/trees/places/anu.tree index e4af592..e327510 100644 --- a/trees/places/anu.tree +++ b/trees/places/anu.tree @@ -1,4 +1,4 @@ \title{Australian National University} -\taxon{institution} +\taxon{Institution} \meta{venue}{[[loc-000D]]} \meta{external}{https://anu.edu.au} diff --git a/trees/places/asplos16.tree b/trees/places/asplos16.tree index 149b0e9..8febc20 100644 --- a/trees/places/asplos16.tree +++ b/trees/places/asplos16.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2872362} \title{\conf-name{ASPLOS '16}{Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems}} \date{2016-03} diff --git a/trees/places/asplos19.tree b/trees/places/asplos19.tree index 1547afc..3666aa7 100644 --- a/trees/places/asplos19.tree +++ b/trees/places/asplos19.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3297858} \title{\conf-name{ASPLOS '19}{24th International Conference on Architectural Support for Programming Languages and Operating Systems}} \date{2019-04} diff --git a/trees/places/cam.tree b/trees/places/cam.tree index 6558241..6436bf8 100644 --- a/trees/places/cam.tree +++ b/trees/places/cam.tree @@ -1,4 +1,4 @@ \title{University of Cambridge} -\taxon{institution} +\taxon{Institution} \meta{venue}{Cambridge, United Kingdom} \meta{external}{https://www.cam.ac.uk/} diff --git a/trees/places/cmu.tree b/trees/places/cmu.tree index f94d977..61e8832 100644 --- a/trees/places/cmu.tree +++ b/trees/places/cmu.tree @@ -1,4 +1,4 @@ \title{Carnegie Mellon University} -\taxon{institution} +\taxon{Institution} \meta{external}{https://www.cmu.edu/} \meta{venue}{Pittsburgh, Pennsylvania, USA} diff --git a/trees/places/core.tree b/trees/places/core.tree index d1b2387..19ab1b2 100644 --- a/trees/places/core.tree +++ b/trees/places/core.tree @@ -1,5 +1,5 @@ \title{CORE} -\taxon{institution} +\taxon{Institution} \meta{venue}{Australia} \meta{external}{https://www.core.edu.au/} \p{ diff --git a/trees/places/cpp18.tree b/trees/places/cpp18.tree index 7478e1b..7428543 100644 --- a/trees/places/cpp18.tree +++ b/trees/places/cpp18.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3176245} \title{\conf-name{CPP '18}{7th ACM SIGPLAN International Conference on Certified Programs and Proofs}} \date{2018-01} diff --git a/trees/places/cpp22.tree b/trees/places/cpp22.tree index 802f9e5..17d7fea 100644 --- a/trees/places/cpp22.tree +++ b/trees/places/cpp22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3497775} \title{\conf-name{CPP '22}{11th ACM SIGPLAN International Conference on Certified Programs and Proofs}} \date{2022-01} diff --git a/trees/places/csf19.tree b/trees/places/csf19.tree index d421745..a1d5293 100644 --- a/trees/places/csf19.tree +++ b/trees/places/csf19.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1109/CSF.2019.00008} \title{\conf-name{CSF '19}{32nd IEEE Computer Security Foundations Symposium }} \date{2019-06} diff --git a/trees/places/csiro.tree b/trees/places/csiro.tree index f2d45f6..35102c4 100644 --- a/trees/places/csiro.tree +++ b/trees/places/csiro.tree @@ -1,5 +1,5 @@ \title{CSIRO} -\taxon{institution} +\taxon{Institution} \meta{venue}{Australia} \meta{external}{https://www.csiro.au/en/} \p{ diff --git a/trees/places/data61.tree b/trees/places/data61.tree index e7a47bb..2e0aa03 100644 --- a/trees/places/data61.tree +++ b/trees/places/data61.tree @@ -1,5 +1,5 @@ \title{Data61} -\taxon{institution} +\taxon{Institution} \meta{venue}{Australia} \meta{external}{https://data61.csiro.au/} \p{ diff --git a/trees/places/esop22.tree b/trees/places/esop22.tree index 4d6ebe5..56b57b9 100644 --- a/trees/places/esop22.tree +++ b/trees/places/esop22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ESOP '22}{31st European Symposium on Programming}} \date{2022-04} \meta{venue}{Munich, Germany} diff --git a/trees/places/expresssos24.tree b/trees/places/expresssos24.tree index eb93869..811ffa8 100644 --- a/trees/places/expresssos24.tree +++ b/trees/places/expresssos24.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2872362} \title{\conf-name{EXPRESS/SOS '24}{Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics}} \date{2024-11} diff --git a/trees/places/fossacs21.tree b/trees/places/fossacs21.tree index 33fd83d..6bffcdc 100644 --- a/trees/places/fossacs21.tree +++ b/trees/places/fossacs21.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{FoSSaCS '21}{24th International Conference on Foundations of Software Science and Computation Structures}} \date{2021-03} \meta{venue}{Luxembourg} diff --git a/trees/places/fproper25.tree b/trees/places/fproper25.tree index f1d3926..0631401 100644 --- a/trees/places/fproper25.tree +++ b/trees/places/fproper25.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{FProPer '25}{2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance}} \date{2025-10} \meta{venue}{Singapore} diff --git a/trees/places/google-syd.tree b/trees/places/google-syd.tree index a2b40e6..f867dd7 100644 --- a/trees/places/google-syd.tree +++ b/trees/places/google-syd.tree @@ -1,4 +1,4 @@ \title{Google Sydney} -\taxon{institution} +\taxon{Institution} \meta{external}{https://www.google.com/about/careers/applications/locations/sydney} \p{A Google office where (among others) Maps and Wave were developed.} diff --git a/trees/places/haskell25.tree b/trees/places/haskell25.tree index c8445c1..c770ef3 100644 --- a/trees/places/haskell25.tree +++ b/trees/places/haskell25.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{Haskell '25}{18th ACM SIGPLAN Haskell Symposium}} \date{2025-10} \meta{venue}{Singapore} diff --git a/trees/places/hatra22.tree b/trees/places/hatra22.tree index f855412..57b693c 100644 --- a/trees/places/hatra22.tree +++ b/trees/places/hatra22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{HATRA '22}{Human Aspects of Types and Reasoning Assistants 2022}} \date{2022-12} \meta{venue}{Auckland, New Zealand} diff --git a/trees/places/icfp14.tree b/trees/places/icfp14.tree index 3383cc1..5b16aca 100644 --- a/trees/places/icfp14.tree +++ b/trees/places/icfp14.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ICFP '14}{19th ACM SIGPLAN International Conference on Functional Programming}} \date{2014-09} \meta{doi}{10.1145/2628136} diff --git a/trees/places/icfp15.tree b/trees/places/icfp15.tree index 60688dd..137db1f 100644 --- a/trees/places/icfp15.tree +++ b/trees/places/icfp15.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ICFP '15}{20th ACM SIGPLAN International Conference on Functional Programming}} \date{2015-09} \meta{doi}{10.1145/2784731} diff --git a/trees/places/icfp16.tree b/trees/places/icfp16.tree index c202aa6..159da7d 100644 --- a/trees/places/icfp16.tree +++ b/trees/places/icfp16.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2951913} \title{\conf-name{ICFP '16}{21st ACM SIGPLAN International Conference on Functional Programming}} \date{2016-09} diff --git a/trees/places/icfp18.tree b/trees/places/icfp18.tree index 8cfa47a..80105ad 100644 --- a/trees/places/icfp18.tree +++ b/trees/places/icfp18.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ICFP '18}{23rd ACM SIGPLAN International Conference on Functional Programming}} \date{2018-09} \meta{venue}{St. Louis, Missouri, USA} diff --git a/trees/places/icfp21.tree b/trees/places/icfp21.tree index 237e557..677bfc1 100644 --- a/trees/places/icfp21.tree +++ b/trees/places/icfp21.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ICFP '21}{26th ACM SIGPLAN International Conference on Functional Programming}} \date{2021-08} \meta{venue}{Online} diff --git a/trees/places/icfp25.tree b/trees/places/icfp25.tree index aad9f4b..525a88f 100644 --- a/trees/places/icfp25.tree +++ b/trees/places/icfp25.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ICFP '25}{29th ACM SIGPLAN International Conference on Functional Programming}} \date{2025-10} \meta{venue}{Singapore} diff --git a/trees/places/icfpc25.tree b/trees/places/icfpc25.tree index cce7418..2458240 100644 --- a/trees/places/icfpc25.tree +++ b/trees/places/icfpc25.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{[ICFP '25](icfp25) Programming Contest} \date{2025-10} \meta{venue}{Singapore} diff --git a/trees/places/icfpsrc21.tree b/trees/places/icfpsrc21.tree index e64f700..5a299f2 100644 --- a/trees/places/icfpsrc21.tree +++ b/trees/places/icfpsrc21.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{[ICFP '21](icfp21) Student Research Competition} \date{2021-08} \meta{venue}{Online} diff --git a/trees/places/iohk.tree b/trees/places/iohk.tree index c3e92ee..a68fefc 100644 --- a/trees/places/iohk.tree +++ b/trees/places/iohk.tree @@ -1,4 +1,4 @@ \title{IOHK} -\taxon{institution} +\taxon{Institution} \meta{external}{https://iohk.io} \p{Input Output is a blockchain company that develops the Cardano blockchain.} diff --git a/trees/places/isola18.tree b/trees/places/isola18.tree index 73a340b..0e76343 100644 --- a/trees/places/isola18.tree +++ b/trees/places/isola18.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1007/978-3-030-03418-4} \title{\conf-name{ISoLA '18}{8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation}} \date{2018-11} diff --git a/trees/places/itp16.tree b/trees/places/itp16.tree index 175abc2..46dbabc 100644 --- a/trees/places/itp16.tree +++ b/trees/places/itp16.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1007/978-3-319-43144-4} \title{\conf-name{ITP '16}{7th International Conference on Interactive Theorem Proving}} \date{2016-08} diff --git a/trees/places/itp17.tree b/trees/places/itp17.tree index c7820d4..704e045 100644 --- a/trees/places/itp17.tree +++ b/trees/places/itp17.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1007/978-3-319-66107-0} \title{\conf-name{ITP '17}{8th International Conference on Interactive Theorem Proving}} \date{2017-09} diff --git a/trees/places/jfp.tree b/trees/places/jfp.tree index c6c066c..1621b25 100644 --- a/trees/places/jfp.tree +++ b/trees/places/jfp.tree @@ -1,5 +1,5 @@ \title{Journal of Functional Programming} -\taxon{journal} +\taxon{Journal} \meta{external}{https://www.cambridge.org/core/journals/journal-of-functional-programming} \p{Journal of Functional Programming is an Open Access journal and is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. Special tracks are devoted to tools and applications, commercial uses and education; pearl-type papers are encouraged.} diff --git a/trees/places/ml16.tree b/trees/places/ml16.tree index e758d29..845b9e2 100644 --- a/trees/places/ml16.tree +++ b/trees/places/ml16.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{ML '16}{ML Family Workshop 2016}} \date{2016-09} \meta{venue}{Nara, Japan} diff --git a/trees/places/nicta.tree b/trees/places/nicta.tree index 1ece7c9..6919d88 100644 --- a/trees/places/nicta.tree +++ b/trees/places/nicta.tree @@ -1,5 +1,5 @@ \title{NICTA} -\taxon{institution} +\taxon{Institution} \meta{venue}{Australia} \p{ National ICT Australia (NICTA) was a centre for ICT research across Australia. It was later merged with [[csiro]] to become [[data61]]. diff --git a/trees/places/nott.tree b/trees/places/nott.tree index 14ee2de..533f096 100644 --- a/trees/places/nott.tree +++ b/trees/places/nott.tree @@ -1,4 +1,4 @@ \title{University of Nottingham} -\taxon{institution} +\taxon{Institution} \meta{venue}{Nottingham, United Kingdom} \meta{external}{https://nott.ed.ac.uk/} diff --git a/trees/places/ntu.tree b/trees/places/ntu.tree index b76afdb..7b5937a 100644 --- a/trees/places/ntu.tree +++ b/trees/places/ntu.tree @@ -1,4 +1,4 @@ \title{Nanyang Technological University} -\taxon{institution} +\taxon{Institution} \meta{venue}{Singapore} \meta{external}{https://www.ntu.edu.sg/} diff --git a/trees/places/ox.tree b/trees/places/ox.tree index 8099bdd..b8770d2 100644 --- a/trees/places/ox.tree +++ b/trees/places/ox.tree @@ -1,4 +1,4 @@ \title{University of Oxford} -\taxon{institution} +\taxon{Institution} \meta{venue}{Oxford, United Kingdom} \meta{external}{https://ox.ac.uk} diff --git a/trees/places/pepm24.tree b/trees/places/pepm24.tree index bf94b54..3849f66 100644 --- a/trees/places/pepm24.tree +++ b/trees/places/pepm24.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{PEPM '24}{ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation}} \date{2024-01} \meta{venue}{London, United Kingdom} diff --git a/trees/places/philtransA.tree b/trees/places/philtransA.tree index cd69c62..256a6c0 100644 --- a/trees/places/philtransA.tree +++ b/trees/places/philtransA.tree @@ -1,5 +1,5 @@ \title{Philosophical Transactions of the Royal Society A} -\taxon{journal} +\taxon{Journal} \meta{external}{https://royalsocietypublishing.org/journal/rsta} \p{Philosophical Transactions is a (very!) long-standing, refereed, open access journal published by the Royal Society. It contains influential themed journal issues across the physical, mathematical and engineering sciences. } diff --git a/trees/places/pldi22.tree b/trees/places/pldi22.tree index 4eca121..931d5b1 100644 --- a/trees/places/pldi22.tree +++ b/trees/places/pldi22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2525528} \title{\conf-name{PLDI '22}{43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation}} \date{2022-06} diff --git a/trees/places/pldi25.tree b/trees/places/pldi25.tree index 36ae052..37b5d60 100644 --- a/trees/places/pldi25.tree +++ b/trees/places/pldi25.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{PLDI '25}{46th ACM SIGPLAN International Conference on Programming Language Design and Implementation}} \date{2025-06} \meta{venue}{Seoul, Republic of Korea} diff --git a/trees/places/plos13.tree b/trees/places/plos13.tree index 2e5fe5d..a764881 100644 --- a/trees/places/plos13.tree +++ b/trees/places/plos13.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2525528} \title{\conf-name{PLOS '13}{Seventh Workshop on Programming Languages and Operating Systems}} \date{2013-11} diff --git a/trees/places/plos17.tree b/trees/places/plos17.tree index 30f2837..941843b 100644 --- a/trees/places/plos17.tree +++ b/trees/places/plos17.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3144555} \title{\conf-name{PLOS '17}{Ninth Workshop on Programming Languages and Operating Systems}} \date{2017-10} diff --git a/trees/places/polytechnique.tree b/trees/places/polytechnique.tree index ffa4af1..e867219 100644 --- a/trees/places/polytechnique.tree +++ b/trees/places/polytechnique.tree @@ -1,4 +1,4 @@ \title{École Polytechnique} -\taxon{institution} +\taxon{Institution} \meta{venue}{France} \meta{external}{https://www.polytechnique.edu/en} diff --git a/trees/places/popl15.tree b/trees/places/popl15.tree index 21cc0dc..9f65167 100644 --- a/trees/places/popl15.tree +++ b/trees/places/popl15.tree @@ -1,6 +1,6 @@ \import{conf-name-macros} \title{\conf-name{POPL '15}{42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}} -\taxon{conference} +\taxon{Conference} \date{2015-01} \meta{doi}{10.1145/2676726} \meta{venue}{Mumbai, India} diff --git a/trees/places/popl16.tree b/trees/places/popl16.tree index dc2fd82..6cd9bcb 100644 --- a/trees/places/popl16.tree +++ b/trees/places/popl16.tree @@ -1,6 +1,6 @@ \import{conf-name-macros} \title{\conf-name{POPL '16}{43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}} -\taxon{conference} +\taxon{Conference} \date{2016-01} \meta{doi}{10.1145/2837614} \meta{venue}{St. Petersburg, Florida, USA} diff --git a/trees/places/popl22.tree b/trees/places/popl22.tree index 8eaed8b..efdcff6 100644 --- a/trees/places/popl22.tree +++ b/trees/places/popl22.tree @@ -1,6 +1,6 @@ \import{conf-name-macros} \title{\conf-name{POPL '22}{49th ACM SIGPLAN Symposium on Principles of Programming Languages}} -\taxon{conference} +\taxon{Conference} \date{2022-01} \meta{venue}{Philadelphia, Pennsylvania, USA} \meta{external}{https://popl22.sigplan.org/} diff --git a/trees/places/popl23.tree b/trees/places/popl23.tree index 4a93317..b23448e 100644 --- a/trees/places/popl23.tree +++ b/trees/places/popl23.tree @@ -1,6 +1,6 @@ \import{conf-name-macros} \title{\conf-name{POPL '23}{50th ACM SIGPLAN Symposium on Principles of Programming Languages}} -\taxon{conference} +\taxon{Conference} \date{2023-01} \meta{venue}{Boston, Massachusetts, USA} \meta{external}{https://popl23.sigplan.org/} diff --git a/trees/places/popl24.tree b/trees/places/popl24.tree index 6822f4c..5186aad 100644 --- a/trees/places/popl24.tree +++ b/trees/places/popl24.tree @@ -1,6 +1,6 @@ \import{conf-name-macros} \title{\conf-name{POPL ’24}{51st ACM SIGPLAN Symposium on Principles of Programming Languages}} -\taxon{conference} +\taxon{Conference} \date{2024-01} \meta{venue}{London, United Kingdom} \meta{external}{https://popl24.sigplan.org/} diff --git a/trees/places/programming-journal.tree b/trees/places/programming-journal.tree index c7971ba..f4af2f9 100644 --- a/trees/places/programming-journal.tree +++ b/trees/places/programming-journal.tree @@ -1,5 +1,5 @@ \title{The Art, Science, and Engineering of Programming} -\taxon{journal} +\taxon{Journal} \meta{external}{https://programming-journal.org} \p{The Art, Science, and Engineering of Programming was created with the goal of placing the wonderful art of programming in the map of scholarly works. Many academic journals and conferences exist that publish research related to programming, starting with programming languages, software engineering, and expanding to the whole Computer Science field. Yet, many of us feel that, as the field of Computer Science expanded, programming, in itself, has been neglected to a secondary role not worthy of scholarly attention. That is a serious gap, as much of the progress in Computer Science lies on the basis of computer programs, the people who write them, and the concepts and tools available to them to express computational tasks.} diff --git a/trees/places/qmul.tree b/trees/places/qmul.tree index 5880c92..5c7d37f 100644 --- a/trees/places/qmul.tree +++ b/trees/places/qmul.tree @@ -1,4 +1,4 @@ \title{Queen Mary University of London} -\taxon{institution} +\taxon{Institution} \meta{venue}{London, United Kingdom} \meta{external}{https://www.qmul.ac.uk/} diff --git a/trees/places/sblp22.tree b/trees/places/sblp22.tree index e53fc03..7c88b2d 100644 --- a/trees/places/sblp22.tree +++ b/trees/places/sblp22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{SBLP '22}{26th Brazilian Symposium on Programming Languages}} \date{2022-09} \meta{doi}{10.1145/3561320} diff --git a/trees/places/sblp24.tree b/trees/places/sblp24.tree index b6ab8e5..f5c2df2 100644 --- a/trees/places/sblp24.tree +++ b/trees/places/sblp24.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{SBLP '24}{28th Brazilian Symposium on Programming Languages}} \date{2024-09} \meta{venue}{Curitiba, Paraná, Brazil} diff --git a/trees/places/sinica.tree b/trees/places/sinica.tree index fbc2e5b..1401b25 100644 --- a/trees/places/sinica.tree +++ b/trees/places/sinica.tree @@ -1,4 +1,4 @@ \title{Academia Sinica} -\taxon{institution} +\taxon{Institution} \meta{venue}{Taipei, Taiwan} \meta{external}{https://www.sinica.edu.tw/en} diff --git a/trees/places/sle22.tree b/trees/places/sle22.tree index 76164bd..5f265c5 100644 --- a/trees/places/sle22.tree +++ b/trees/places/sle22.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3567512} \title{\conf-name{SLE '22}{15th ACM SIGPLAN International Conference on Software Language Engineering}} \date{2022-12} diff --git a/trees/places/spli.tree b/trees/places/spli.tree index d11b599..ff1e2db 100644 --- a/trees/places/spli.tree +++ b/trees/places/spli.tree @@ -1,4 +1,4 @@ \title{Scottish Programming Languages Institute} -\taxon{institution} +\taxon{Institution} \meta{venue}{Scotland, United Kingdom} \meta{external}{https://spli.scot/} diff --git a/trees/places/tase23.tree b/trees/places/tase23.tree index 5f27b95..2a8c055 100644 --- a/trees/places/tase23.tree +++ b/trees/places/tase23.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \title{\conf-name{TASE '23}{17th International Symposium on Theoretical Aspects of Software Engineering}} \date{2023-07} \meta{venue}{Bristol, United Kingdom} diff --git a/trees/places/toposinstitute.tree b/trees/places/toposinstitute.tree index d1ee419..5448dbc 100644 --- a/trees/places/toposinstitute.tree +++ b/trees/places/toposinstitute.tree @@ -1,5 +1,5 @@ \title{Topos Institute} -\taxon{institution} +\taxon{Institution} \meta{external}{https://topos.institute/} \blockquote{ diff --git a/trees/places/tu-berlin.tree b/trees/places/tu-berlin.tree index d0d5021..434cd28 100644 --- a/trees/places/tu-berlin.tree +++ b/trees/places/tu-berlin.tree @@ -1,4 +1,4 @@ \title{Technische Universität Berlin} -\taxon{institution} +\taxon{Institution} \meta{venue}{Berlin, Germany} \meta{external}{https://www.tu.berlin/en/} diff --git a/trees/places/tweag.tree b/trees/places/tweag.tree index 691f16e..af728e9 100644 --- a/trees/places/tweag.tree +++ b/trees/places/tweag.tree @@ -1,4 +1,4 @@ \title{Tweag} -\taxon{institution} +\taxon{Institution} \meta{external}{https://tweag.io} \p{A consulting firm that specialises in functional programming.} diff --git a/trees/places/tyde16.tree b/trees/places/tyde16.tree index c135bc0..ed18b69 100644 --- a/trees/places/tyde16.tree +++ b/trees/places/tyde16.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/2976022} \title{\conf-name{TyDe '16}{1st ACM SIGPLAN International Workshop on Type-Driven Development}} \date{2016-09} diff --git a/trees/places/tyde17.tree b/trees/places/tyde17.tree index b565503..637570f 100644 --- a/trees/places/tyde17.tree +++ b/trees/places/tyde17.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3122975} \title{\conf-name{TyDe '17}{2nd ACM SIGPLAN International Workshop on Type-Driven Development}} \date{2017-09} diff --git a/trees/places/tyde19.tree b/trees/places/tyde19.tree index d259ee3..be2c76d 100644 --- a/trees/places/tyde19.tree +++ b/trees/places/tyde19.tree @@ -1,5 +1,5 @@ \import{conf-name-macros} -\taxon{conference} +\taxon{Conference} \meta{doi}{10.1145/3331554} \title{\conf-name{TyDe '19}{4th ACM SIGPLAN International Workshop on Type-Driven Development}} \date{2019-08} diff --git a/trees/places/typesig.tree b/trees/places/typesig.tree index f2ed03e..65a86b8 100644 --- a/trees/places/typesig.tree +++ b/trees/places/typesig.tree @@ -1,4 +1,4 @@ \title{TypeSIG} -\taxon{institution} +\taxon{Institution} \meta{external}{https://typesig.pl/} \p{A student society, part of CompSoc at the [[uoe]], devoted to theoretical computer science and programming languages.} diff --git a/trees/places/uiuc.tree b/trees/places/uiuc.tree index ab46776..6709fdd 100644 --- a/trees/places/uiuc.tree +++ b/trees/places/uiuc.tree @@ -1,4 +1,4 @@ \title{University of Illinois Urbana-Champaign} -\taxon{institution} +\taxon{Institution} \meta{venue}{Illinois, United States} \meta{external}{https://illinois.edu/} diff --git a/trees/places/unimelb.tree b/trees/places/unimelb.tree index 8e91fc3..d376408 100644 --- a/trees/places/unimelb.tree +++ b/trees/places/unimelb.tree @@ -1,4 +1,4 @@ \title{University of Melbourne} -\taxon{institution} +\taxon{Institution} \meta{venue}{Victoria, Australia} \meta{external}{https://unimelb.edu.au} diff --git a/trees/places/unsw.tree b/trees/places/unsw.tree index f911451..ff2b693 100644 --- a/trees/places/unsw.tree +++ b/trees/places/unsw.tree @@ -1,4 +1,4 @@ \title{UNSW Sydney} \meta{venue}{New South Wales, Australia} -\taxon{institution} +\taxon{Institution} \meta{external}{https://unsw.edu.au} diff --git a/trees/places/uoe.tree b/trees/places/uoe.tree index 2874d9f..8d0ea8b 100644 --- a/trees/places/uoe.tree +++ b/trees/places/uoe.tree @@ -1,4 +1,4 @@ \title{University of Edinburgh} -\taxon{institution} +\taxon{Institution} \meta{venue}{Scotland, United Kingdom} \meta{external}{https://ed.ac.uk} diff --git a/trees/places/uu.tree b/trees/places/uu.tree index 97fb1b0..f3a6415 100644 --- a/trees/places/uu.tree +++ b/trees/places/uu.tree @@ -1,4 +1,4 @@ \title{Utrecht University} -\taxon{institution} +\taxon{Institution} \meta{venue}{Utrecht, Netherlands} \meta{external}{https://uu.nl} diff --git a/trees/places/wg21.tree b/trees/places/wg21.tree index 845546f..4fc2a5f 100644 --- a/trees/places/wg21.tree +++ b/trees/places/wg21.tree @@ -1,5 +1,5 @@ \title{IFIP Working Group 2.1: Algorithmic Languages and Calculi} -\taxon{institution} +\taxon{Institution} \meta{external}{https://ifipwg21wiki.cs.kuleuven.be/} \p{ IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP). Its scope includes: diff --git a/trees/refs/amani-hcrcobnlstkmkh-2016.tree b/trees/refs/amani-hcrcobnlstkmkh-2016.tree index 3627539..a0627b6 100644 --- a/trees/refs/amani-hcrcobnlstkmkh-2016.tree +++ b/trees/refs/amani-hcrcobnlstkmkh-2016.tree @@ -1,5 +1,5 @@ \title{Cogent: Verifying High-assurance File System Implementations} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[asplos16]]} \author/literal{Sidney Amani} \author/literal{Alex Hixon} diff --git a/trees/refs/amjad-vanglabbeek-oconnor-2024.tree b/trees/refs/amjad-vanglabbeek-oconnor-2024.tree index 68fa7b7..fe68c85 100644 --- a/trees/refs/amjad-vanglabbeek-oconnor-2024.tree +++ b/trees/refs/amjad-vanglabbeek-oconnor-2024.tree @@ -1,5 +1,5 @@ \title{Semantics for Linear-time Temporal Logic with Finite Observations} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[expresssos24]]} \author{rayhana} \author{rvg} diff --git a/trees/refs/chen-lokmjr-2023.tree b/trees/refs/chen-lokmjr-2023.tree index b32bab6..4de484a 100644 --- a/trees/refs/chen-lokmjr-2023.tree +++ b/trees/refs/chen-lokmjr-2023.tree @@ -1,5 +1,5 @@ \title{Dargent: A Silver Bullet for Verified Data Layout Refinement} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[popl23]]} \author{zilinc} \author{amblafont} diff --git a/trees/refs/chen-okkh-2017.tree b/trees/refs/chen-okkh-2017.tree index d6bf249..a2a32e0 100644 --- a/trees/refs/chen-okkh-2017.tree +++ b/trees/refs/chen-okkh-2017.tree @@ -1,5 +1,5 @@ \title{The Cogent Case for Property-Based Testing} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[plos17]]} \author{zilinc} \author{liamoc} diff --git a/trees/refs/chen-roskhk-2022.tree b/trees/refs/chen-roskhk-2022.tree index e0866f3..fc408b3 100644 --- a/trees/refs/chen-roskhk-2022.tree +++ b/trees/refs/chen-roskhk-2022.tree @@ -1,6 +1,6 @@ \title{Property-based Testing: Climbing the Stairway to Verification} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[sle22]]} \author{zilinc} \author{crizkallah} diff --git a/trees/refs/cheung-oconnor-rizkallah-2022.tree b/trees/refs/cheung-oconnor-rizkallah-2022.tree index d1b4f35..22d0468 100644 --- a/trees/refs/cheung-oconnor-rizkallah-2022.tree +++ b/trees/refs/cheung-oconnor-rizkallah-2022.tree @@ -1,5 +1,5 @@ \title{Overcoming Restraint: Composing Verification of Foreign Functions with Cogent} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[cpp22]]} \author{lcheung} \author{liamoc} diff --git a/trees/refs/keller-maocrkh-2013.tree b/trees/refs/keller-maocrkh-2013.tree index bbebc6f..c6674e0 100644 --- a/trees/refs/keller-maocrkh-2013.tree +++ b/trees/refs/keller-maocrkh-2013.tree @@ -1,5 +1,5 @@ \title{File Systems Deserve Verification Too!} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[plos13]]} \author{gckeller} \author{tobym} diff --git a/trees/refs/klein-akmmo-2017.tree b/trees/refs/klein-akmmo-2017.tree index df6c773..e2570c0 100644 --- a/trees/refs/klein-akmmo-2017.tree +++ b/trees/refs/klein-akmmo-2017.tree @@ -1,5 +1,5 @@ \title{Provably Trustworthy Systems} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[philtransA]], Volume 375, Issue 2104} \author{gklein} \author/literal{June Andronick} diff --git a/trees/refs/nagashima-oconnor-2016.tree b/trees/refs/nagashima-oconnor-2016.tree index f89d8a5..b8f816f 100644 --- a/trees/refs/nagashima-oconnor-2016.tree +++ b/trees/refs/nagashima-oconnor-2016.tree @@ -1,5 +1,5 @@ \title{Close Encounters of the Higher Kind: Emulating Constructor Classes in Standard ML} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[ml16]]} \author{yutakang} \author{liamoc} diff --git a/trees/refs/oconnor-2022-plmw.tree b/trees/refs/oconnor-2022-plmw.tree index a5ae0b5..10e7493 100644 --- a/trees/refs/oconnor-2022-plmw.tree +++ b/trees/refs/oconnor-2022-plmw.tree @@ -1,5 +1,5 @@ \title{Writing Valuable Papers} -\taxon{reference} +\taxon{Reference} \meta{venue}{[POPL '22](popl22) Programming Languages Mentoring Workshop} \author{liamoc} \date{2022-01} diff --git a/trees/refs/oconnor-2024-compsoc.tree b/trees/refs/oconnor-2024-compsoc.tree index 4ba77d7..72f89c7 100644 --- a/trees/refs/oconnor-2024-compsoc.tree +++ b/trees/refs/oconnor-2024-compsoc.tree @@ -1,5 +1,5 @@ \title{Why Domain Theory Matters} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[uoe]] CompSoc Meeting} \author{liamoc} \date{2024-01} diff --git a/trees/refs/oconnor-2024-wg21.tree b/trees/refs/oconnor-2024-wg21.tree index 35913b3..a353b93 100644 --- a/trees/refs/oconnor-2024-wg21.tree +++ b/trees/refs/oconnor-2024-wg21.tree @@ -1,5 +1,5 @@ \title{Putting the Past Behind Us (but not forgetting it)} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[wg21]] Meeting, Kloster Neustadt an der Weinstraße, Germany} \author{liamoc} \date{2024-04} diff --git a/trees/refs/oconnor-amjad-2022.tree b/trees/refs/oconnor-amjad-2022.tree index 25e0524..aeca926 100644 --- a/trees/refs/oconnor-amjad-2022.tree +++ b/trees/refs/oconnor-amjad-2022.tree @@ -1,5 +1,5 @@ \title{Holbert: Reading, Writing, Proving and Learning in the Browser} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[hatra22]]} \author{liamoc} \author{rayhana} diff --git a/trees/refs/oconnor-cralmnsk-2016.tree b/trees/refs/oconnor-cralmnsk-2016.tree index 415d6d7..62e22a2 100644 --- a/trees/refs/oconnor-cralmnsk-2016.tree +++ b/trees/refs/oconnor-cralmnsk-2016.tree @@ -1,5 +1,5 @@ \title{Refinement through Restraint: Bringing Down the Cost of Verification} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[icfp16]]} \author{liamoc} \author{zilinc} diff --git a/trees/refs/oconnor-crjakmsk-2021.tree b/trees/refs/oconnor-crjakmsk-2021.tree index 54b6415..20a86bc 100644 --- a/trees/refs/oconnor-crjakmsk-2021.tree +++ b/trees/refs/oconnor-crjakmsk-2021.tree @@ -1,5 +1,5 @@ \title{Cogent: Uniqueness Types and Certifying Compilation} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[jfp]], Volume 31, Issue on Secure Compilation} \author{liamoc} \author{zilinc} diff --git a/trees/refs/oconnor-csrkk-2018.tree b/trees/refs/oconnor-csrkk-2018.tree index 75117e7..189db42 100644 --- a/trees/refs/oconnor-csrkk-2018.tree +++ b/trees/refs/oconnor-csrkk-2018.tree @@ -1,5 +1,5 @@ \title{Bringing Effortless Refinement of Data Layouts to Cogent} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[isola18]]} \author{liamoc} \author{zilinc} diff --git a/trees/refs/oconnor-kamkcr-2014.tree b/trees/refs/oconnor-kamkcr-2014.tree index 9cf68dd..8cfe3d2 100644 --- a/trees/refs/oconnor-kamkcr-2014.tree +++ b/trees/refs/oconnor-kamkcr-2014.tree @@ -1,5 +1,5 @@ \title{CDSL Version 1: Simplifying Verification with Linear Types} -\taxon{reference} +\taxon{Reference} \meta{venue}{NICTA Technical Report} \author{liamoc} diff --git a/trees/refs/oconnor-thesis-2019.tree b/trees/refs/oconnor-thesis-2019.tree index 21fd71c..92fd636 100644 --- a/trees/refs/oconnor-thesis-2019.tree +++ b/trees/refs/oconnor-thesis-2019.tree @@ -1,5 +1,5 @@ \title{Type Systems For Systems Types} -\taxon{reference} +\taxon{Reference} \meta{venue}{PhD Thesis, [[unsw]]} \author{liamoc} \date{2019-10-23} diff --git a/trees/refs/oconnor-tyde-2016.tree b/trees/refs/oconnor-tyde-2016.tree index 748c242..954aed6 100644 --- a/trees/refs/oconnor-tyde-2016.tree +++ b/trees/refs/oconnor-tyde-2016.tree @@ -1,5 +1,5 @@ \title{Applications of Applicative Proof Search} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[tyde16]]} \author{liamoc} \date{2016-09-18} diff --git a/trees/refs/oconnor-tyde-2019.tree b/trees/refs/oconnor-tyde-2019.tree index 69117e7..bf88035 100644 --- a/trees/refs/oconnor-tyde-2019.tree +++ b/trees/refs/oconnor-tyde-2019.tree @@ -1,5 +1,5 @@ \title{Deferring the Details and Deriving Programs} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[tyde19]]} \author{liamoc} \date{2019-08-18} diff --git a/trees/refs/oconnor-ug-thesis-2012.tree b/trees/refs/oconnor-ug-thesis-2012.tree index 4eda301..8510e9f 100644 --- a/trees/refs/oconnor-ug-thesis-2012.tree +++ b/trees/refs/oconnor-ug-thesis-2012.tree @@ -1,5 +1,5 @@ \title{Formalising GHC's Type System} -\taxon{reference} +\taxon{Reference} \meta{venue}{Undergraduate Thesis, [[unsw]]} \author{liamoc} \date{2012-10} diff --git a/trees/refs/oconnor-ugproject-2012.tree b/trees/refs/oconnor-ugproject-2012.tree index 24dd47d..d71803a 100644 --- a/trees/refs/oconnor-ugproject-2012.tree +++ b/trees/refs/oconnor-ugproject-2012.tree @@ -1,5 +1,5 @@ \title{Gentzen: A Beginner's Proof Assistant based on Higher Order Logic} -\taxon{reference} +\taxon{Reference} \meta{venue}{Undergraduate Project, [[unsw]]} \author{liamoc} \date{2012-12} diff --git a/trees/refs/oconnor-vanglabbeek-2023-compsoc.tree b/trees/refs/oconnor-vanglabbeek-2023-compsoc.tree index b9e896d..c60c690 100644 --- a/trees/refs/oconnor-vanglabbeek-2023-compsoc.tree +++ b/trees/refs/oconnor-vanglabbeek-2023-compsoc.tree @@ -1,5 +1,5 @@ \title{Mutual Exclusion: Harder than you Think!} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[uoe]] CompSoc Meeting} \author{liamoc} \author{rvg} diff --git a/trees/refs/oconnor-wickstrom-2022.tree b/trees/refs/oconnor-wickstrom-2022.tree index 5893094..33ff9af 100644 --- a/trees/refs/oconnor-wickstrom-2022.tree +++ b/trees/refs/oconnor-wickstrom-2022.tree @@ -1,5 +1,5 @@ \title{Quickstrom: Property-based Acceptance Testing with LTL Specifications} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[pldi22]]} \author{liamoc} \author{owickstrom} diff --git a/trees/refs/qin-oconnor-steuwer-2023.tree b/trees/refs/qin-oconnor-steuwer-2023.tree index 4cffa86..e3321ac 100644 --- a/trees/refs/qin-oconnor-steuwer-2023.tree +++ b/trees/refs/qin-oconnor-steuwer-2023.tree @@ -1,5 +1,5 @@ \title{Primrose: Selecting Container Data Types by Their Properties} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[programming-journal]], Volume 7, Issue 3, Article 11} \author/literal{Xueying Qin} \author{liamoc} diff --git a/trees/refs/qin-ovghks-2024.tree b/trees/refs/qin-ovghks-2024.tree index 3b545a8..3abd575 100644 --- a/trees/refs/qin-ovghks-2024.tree +++ b/trees/refs/qin-ovghks-2024.tree @@ -1,5 +1,5 @@ \title{Shoggoth: A Formal Foundation for Strategic Rewriting} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[popl24]]} \author/literal{Xueying Qin} \author{liamoc} diff --git a/trees/refs/rizkallah-lnscomkk-2016.tree b/trees/refs/rizkallah-lnscomkk-2016.tree index 52f4428..2f2f0d3 100644 --- a/trees/refs/rizkallah-lnscomkk-2016.tree +++ b/trees/refs/rizkallah-lnscomkk-2016.tree @@ -1,5 +1,5 @@ \title{A Framework for the Automatic Formal Verification of Refinement from Cogent to C} -\taxon{reference} +\taxon{Reference} \meta{venue}{[[itp16]]} \author{crizkallah} \author/literal{Japheth Lim}