William Ferreira

Affiliations:
  • University College London, UK (former)
  • University of Sussex, UK (PhD 1996)


According to our database1, William Ferreira authored at least 7 papers between 1995 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Incorporating Label Dependencies in Multilabel Stance Detection.
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

2016
Emergent: a novel data-set for stance classification.
Proceedings of the NAACL HLT 2016, 2016

2000
Combining the typed lambda-calculus with CCS.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
A Behavioural Theory of First-Order CML.
Theor. Comput. Sci., 1999

1998
A Theory of Weak Bisimulation for Core CML.
J. Funct. Program., 1998

1996
Semantic theories for concurrent ML.
PhD thesis, 1996

1995
Towards a Semantic Theory of CML (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995


  Loading...