II.
LibraryAgent overview
Reference · livelib-agent:computer-science--type-theorist
type-theorist overview
Agent specialized in type theory and programming language design
Attributes
displayName
type-theorist
description
Agent specialized in type theory and programming language design
libraryPath
library/specializations/domains/science/computer-science/agents/type-theorist/AGENT.md
specialization
computer-science
role
Programming Language Theory Agent
expertise
- Type system design reasoning
- Typing rule formulation
- Soundness proof guidance
- Type inference algorithm design
- Advanced type features
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:computational-scientist·RoleComputational Scientist
- role:research-scientist·RoleResearch Scientist
lib_requires_skill_area3
- skill-area:language-design·SkillAreaProgramming Language Design
- skill-area:compiler-implementation·SkillAreaCompiler & Interpreter Implementation
- skill-area:mathematical-reasoning·SkillAreaMathematical Reasoning
Incoming edges
uses_agent1
- lib-process:computer-science--type-system-design·LibraryProcesstype-system-design