Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-10 of  774 results for ""Thompson, Simon""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

A Proof Assistant Based Formalisation of Core Erlang

Subjects: Computer Science - Programming Languages

  • Source: In: Byrski A., Hughes J. (eds) Trends in Functional Programming. TFP 2020. Lecture Notes in Computer Science, vol 12222. Springer, Cham

Record details

×
Conference

Towards social network analytics for understanding and managing enterprise data lakes

  • Source: 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) Advances in Social Networks Analysis and Mining (ASONAM), 2016 IEEE/ACM International Conference on.

Record details

×
  • 1-10 of  774 results for ""Thompson, Simon""