Sam Lindley

Computer Science

1. Programming Language 100%
2. Type Systems 62%
3. Concurrency 48%
4. Structured Query Language 39%
5. Annotation 39%
6. Functional Programming 38%
7. Domain-specific languages 36%
8. Wiki 35%
9. Operational Semantics 34%
10. Type Inference 32%
11. Design Language 28%
12. lambda-calculus 26%
13. Deadlock Freedom 25%
14. Strong Normalization 22%
15. Deadlock 20%
16. Expressive Power 19%
17. Denotational Semantics 17%
18. Runtime Complexity 17%
19. Control Operator 17%
20. Essential Aspect 17%
21. WebAssembly 17%
22. Call by Value 17%
23. Soundness 17%
24. Efficient Implementation 17%
25. Concurrent Program 16%
26. Communication Protocol 16%
27. Structured Data 15%
28. And-States 14%
29. Machine Learning 14%
30. Functional Languages 14%
31. Web Application 14%
32. Memory Management 13%
33. Data Management 13%
34. Extensibility 13%
35. Query Language 13%
36. Data Curation 13%
37. Experimental Result 11%
38. Source Language 10%
39. Interpreter 9%
40. Control Flow 9%
41. Relational Database 9%
42. Computation 8%
43. Algorithms 8%
44. Compiler 8%
45. Computation Tree 8%
46. Representation 8%
47. Normal Form 8%
48. Transformations 8%
49. Generalization 8%
50. C Program 8%