II.
LibraryProcess overview
Reference · livelib-process:computer-science--type-system-design
type-system-design overview
Design type systems with desired safety and expressiveness properties including typing rules, soundness proofs, and type inference
Attributes
displayName
type-system-design
description
Design type systems with desired safety and expressiveness properties including typing rules, soundness proofs, and type inference
libraryPath
library/specializations/domains/science/computer-science/type-system-design.js
specialization
computer-science
usesAgents
- type-theorist
- semantics-formalist
- theorem-proving-expert
- complexity-theorist
Outgoing edges
lib_applies_to_domain1
- domain:computer-science·DomainComputer Science
lib_belongs_to_specialization2
- specialization:theoretical-computer-science·SpecializationTheoretical Computer Science
- specialization:computer-science·SpecializationComputer Science
lib_implements_workflow1
- workflow:research-grant-lifecycle·WorkflowResearch Grant Lifecycle
lib_involves_role2
- role:research-engineer·RoleResearch Engineer
- role:computational-scientist·RoleComputational Scientist
lib_requires_skill_area3
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:graph-algorithms·SkillAreaGraph Algorithms
uses_agent3
- lib-agent:computer-science--type-theorist·LibraryAgenttype-theorist
- lib-agent:computer-science--theorem-proving-expert·LibraryAgenttheorem-proving-expert
- lib-agent:computer-science--complexity-theorist·LibraryAgentcomplexity-theorist
Incoming edges
None.