Deriving Dependently-Typed OOP from First Principles (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: Deriving Dependently-Typed OOP from First Principles

First screen, captured 2 years ago.

Looks similar

Screenshot of arxiv.org: API-Driven Program Synthesis for Testing Static Typing Implementations

API-Driven Program Synthesis for Testing Static Typing Implementations (arxiv.org)

26 points by luu 2 years ago | 1 comments

Screenshot of arxiv.org: Dependently Typing R Vectors, Arrays, and Matrices

Dependently Typing R Vectors, Arrays, and Matrices (arxiv.org)

72 points by matt_d 3 years ago | 13 comments

Screenshot of arxiv.org: Mixing Visual and Textual Code

Mixing Visual and Textual Code (arxiv.org)

68 points by doppioandante 4 months ago | 42 comments

Screenshot of arxiv.org: Type-constrained code generation with language models

Type-constrained code generation with language models (arxiv.org)

237 points by tough 1 year ago | 109 comments

Screenshot of arxiv.org: Enhancing COBOL Code Explanations: A Multi-Agents Approach Using LLMs

Enhancing COBOL Code Explanations: A Multi-Agents Approach Using LLMs (arxiv.org)

5 points by PaulHoule 1 year ago | 1 comments

Screenshot of arxiv.org: Language models as compilers: Simulating pseudocode execution

Language models as compilers: Simulating pseudocode execution (arxiv.org)

159 points by milliondreams 2 years ago | 49 comments