Verification, Type-level Programming, Safety Proofs, Linear Types
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·14h
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·14h
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.org·14h
Limits of message passing for node classification: How class-bottlenecks restrict signal-to-noise ratio
arxiv.org·14h
Loading...Loading more...