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

Search Results

Filter
  • 1-10 of  818 results for ""Thompson, Simon""

Your Filters

Reset filters
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

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