-\item Functional programming and functional languages.
-\item Formal methods, especially type systems, proof systems, and interactive
- provers.
-\item Verification, Haskell, and Rust.
+\item {\large \tallnums MoDRE 2018}
+
+ \begin{itemize}
+ \item {\largersans A Comparison of the Declarative Modelling
+ Languages B, Dash, and \tla}
+ \textsf{\footnotesize
+ (\href{https://shemshak.org/~amin/papers/2018-AbBaDaSe-modre.pdf}{pdf},
+ \href{https://shemshak.org/~amin/papers/2018-AbBaDaSe-modre.bib}{bib})}
+
+ Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna\\
+ \textit{2018 IEEE 8th International Model-Driven Requirements
+ Engineering Workshop (MoDRE)}
+ \end{itemize}
+