Computer Science
Case Study
42%
Centered Approach
57%
ChatGPT
57%
Class Instance
57%
Contextual Inquiry
57%
Data Type
14%
Essential Feature
14%
Fragment Program
57%
Human Computer Interaction
57%
Memory Management
28%
Open Source Project
28%
Pattern Matching
28%
Programming Language
100%
Soundness
28%
Structure-Preserving Transformation
14%
Technical System
57%
Type Inference
14%
Type Systems
85%
Keyphrases
Algebraic Effects
9%
Contextual Inquiry
28%
Effectful Programming
57%
Expressive Power
19%
Flix
19%
Function Signature
9%
Immutable Data
9%
Interaction Language
28%
Partial Functions
19%
Programming Language Features
9%
Programming Practice
28%
Programming Tools
57%
Refactoring
9%
Standard Library
9%
Total Functions
9%
Type Classes
57%
Type-and-effect Systems
9%
Mathematics
Algebra of Set
57%
Arbitrary Unknown
57%
Calculus
14%
Data Type
14%
Level Set
14%
Preserving Transformation
14%
Principal Type
57%
Programming Language
14%
Signature Function
57%
Type System
57%
