cedille-developments

KO | EN

gitlite — search

#javascript #hacktoberfest #ai #typescript #llm #rust #deep-learning #linux #macos #windows #kubernetes #pytorch #security #mcp

cedille-developments

(★ 36)

A showcase of interesting code and proof developments in Cedille

cedille-developments 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Cedille Developments
A showcase of interesting code and proof developments in [Cedille](https://github.com/cedille/cedille).

## [Generic derivation of induction for impredicative encodings in Cedille](impred-ind)
* Authors: Denis Firsov and Aaron Stump
* Venue: [CPP'18](https://popl18.sigplan.org/track/CPP-2018)
* Paper: http://firsov.ee/impred-ind/impred-ind.pdf

## [Efficient Mendler-Style Lambda-Encodings in Cedille](efficient-mendler)
* Authors: Denis Firsov, Richard Blair, and Aaron Stump
* Venue: [ITP'18](https://itp2018.inria.fr/)
* Paper: https://arxiv.org/abs/1803.02473

## [Generic Zero-Cost Reuse for Dependent Types](generic-reuse)
* Authors: Larry Diehl, Denis Firsov, and Aaron Stump
* Venue: [ICFP'18](https://conf.researchr.org/home/icfp-2018)
* Paper: https://arxiv.org/abs/1803.08150

## [Monotone Recursive Types and Recursive Data Representations in Cedille](recursive-representation-of-data)
* Authors: Christopher Jenkins and Aaron Stump
* Venue: Under consideration for publication in the journal of [Mathematical Structures in Computer Science](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science)
* Paper: https://arxiv.org/abs/2001.02828

## [Efficient Mendler Prime](efficient-mendler-prime)
* Authors: Larry Diehl, Denis Firsov, Richard Blair, and Aaron Stump
* Refactored version of the [ITP'18 development](efficient-mendler),
  see the [README](efficient-mendler-prime/README.md)

## [Quotients by Idempotent Functions in Cedille](idem-quotients)
* Authors: Andrew Marmaduke, Christopher Jenkins, Aaron Stump
* Venue: [TFP'19](https://dblp.org/db/conf/sfp/tfp2019.html)

## [Efficient Lambda Encodings for Mendler-style Coinductive Types in Cedille](efficient-mendler-codata)
* Authors: Christopher Jenkins, Aaron Stump, Larry Diehl

## [Zero-Cost Constructor Subtyping](constructor-subtyping)
* Authors: Andrew Marmaduke, Christopher Jenkins, Aaron Stump
* Venue: [ifl'20](https://dl.acm.org/doi/abs/10.1145/3462172.3462194)
* Paper: https://dl.acm.org/doi/abs/10.1145/3462172.3462194

## [A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedilled ](lfmtp19)
* Author: Aaron Stump
* Venue: [LFMTP'19](http://eptcs.web.cse.unsw.edu.au/content.cgi?LFMTP2019)
* Paper: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LFMTP2019.6

## [Simulating Large Eliminations in Cedille](large-elim-sim)
* Authors: Christopher Jenkins, Andrew Marmaduke, Aaron Stump
* Venue: [TYPES'21](https://types21.liacs.nl/)
* Paper: https://drops.dagstuhl.de/opus/volltexte/2022/16778/

## [Impredicative Encodings of Inductive-Inductive Data in Cedille](induction-induction)
* Authors: Andrew Marmaduke, Larry Diehl, Aaron Stump

cedille-developments

cedille-developments 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

cedille-developments

cedille-developments 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README