Follow
William Ferreira
William Ferreira
Verified email at ucl.ac.uk
Title
Cited by
Cited by
Year
Emergent: a novel data-set for stance classification
W Ferreira, A Vlachos
NAACL HLT 2016: The 2016 Conference of the North American Chapter of the …, 2016
4772016
A theory of weak bisimulation for core CML
W Ferreira, M Hennessy, A Jeffrey
Journal of Functional Programming 8 (5), 447-491, 1998
401998
Towards a semantic theory of CML
W Ferreira, M Hennessy
International Symposium on Mathematical Foundations of Computer Science, 454-466, 1995
151995
Incorporating label dependencies in multilabel stance detection
W Ferreira, A Vlachos
Proceedings of the 2019 Conference on Empirical Methods in Natural Language …, 2019
122019
A behavioural theory of first-order CML
W Ferreira, M Hennessy
Theoretical computer science 216 (1-2), 55-107, 1999
81999
Semantic theories for concurrent ML.
W Ferreira
University of Sussex, 1996
71996
Combining the typed λ-calculus with CCS
W Ferreira, M Hennessy, ASA Jeffrey
62000
Where Are the World's Best Analysts?
CR Harvey, S Radnor, K Mohammed, W Ferreira
Available at SSRN 2337161, 2013
12013
On Testing the Observable Actions of Processes
W Ferreira
REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE, 1997
1997
Samson Abramsky
JCM Baeten, S Berezin, JA Bergstra, G Berry, L Birkedal, G Boudol, ...
The system can't perform the operation now. Try again later.
Articles 1–10