Ott
From MaRDI portal
Publication:5168920
DOI10.1145/1291151.1291155zbMath1291.68238OpenAlexW1994736245MaRDI QIDQ5168920
Rok Strniša, Gilles Peskine, Thomas Ridge, Peter Sewell, F. Zappa Nardelli, Scott Owens, Susmit Sarkar
Publication date: 21 July 2014
Published in: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1291151.1291155
Related Items
A Rewriting Logic Approach to Type Inference ⋮ Encoding abstract syntax without fresh names ⋮ Mechanized semantics for the clight subset of the C language ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ A Brief Overview of HOL4 ⋮ On the effectiveness of higher-order logic programming in language-oriented programming ⋮ System description: lang-n-change -- a tool for transforming languages ⋮ Ott ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory
Uses Software
