Language Engineering and Rigorous Software Development

Overview of attention for book

Cover of 'Language Engineering and Rigorous Software Development'

Table of Contents

Attention for Chapter 3: A Tutorial on Type-Based Termination

Altmetric Badge

Citations

dimensions_citation: 5 Dimensions

Readers on

mendeley: 7 Mendeley
citeulike: 1 CiteULike

Summary Dimensions citations

So far, Dimensions has found 5 publications that cite this research output.

5

The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.

Machine Learning in Proof General: Interfacing Interfaces

Article in Electronic Proceedings in Theoretical Computer Science (July 2013)

Machine Learning in Proof General: Interfacing Interfaces

Preprint in arXiv (December 2012)

From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

Preprint in arXiv (February 2012)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.