Webtagr

New Hot Hardware Development Game Tech Misc Physics Startup Mathematics
🇨🇳 简体中文 🇺🇸 English 🇵🇹 Português 🇪🇸 Español 🇫🇷 Français 🇩🇪 Deutsch 🇸🇦 العربية 🇯🇵 日本語 🇰🇷 한국어
Popular:
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

从基本原理推导依赖类型的面向对象编程——扩展版本及附录

2024-06-23
从基本原理推导依赖类型的面向对象编程——扩展版本及附录

本文探讨了依赖类型的面向对象编程领域,从熟悉的基于数据语言开始,通过系统的反函数化和再函数化,推导出其对偶片段。论文的核心贡献是一个包含两种对偶语言片段的依赖类型演算,并提供这两种语言片段之间的类型和语义保留转换:反函数化和再函数化。

(arxiv.org)
53
未分类 依赖类型

About us

Webtagr is a platform that aggregates cutting-edge technology news, the site provides original tech news summaries, technical analysis, and commentary, helping readers stay up-to-date with technological developments and innovation trends.

Language Select

  • 简体中文
  • English
  • Português
  • Español
  • Français
  • Deutsch
  • العربية
  • 日本語
  • 한국어

Quick links

  • New
  • Hot
  • Hardware
  • Development
  • Game
  • Tech
  • Misc
  • Physics
  • Startup
  • Mathematics
  • Design
  • History
  • Biology
  • Education
  • Health
  • 2. Tech
  • Art
  • Politics
  • Math
  • Film
  • Security
  • Literature
  • Archaeology
  • Environment
  • Military
  • AI
  • Psychology
  • Management
  • Travel
  • Bio
  • Law
  • Biomedicine
  • Music
  • Chemistry
  • Sci-Fi

Contact us

  • contact @ webtagr.com
  • Webtagr
  • @Webtagr
Copyright 2024 Webtagr. All rights reserved
Site map Privacy policy Terms of service Cookie policy