https://zenodo.org/records/15424968

Skip to main
Zenodo home
[                    ]
Communities
My dashboard
Log in Sign up
[logo]
European Lisp Symposium
Published May 12, 2025 | Version v1
Conference paper Open

The Lisp in the Cellar

Creators

  * Dagand, Pierre-Evariste (Researcher)^1 ORCID icon
  * Peschanski, Frederic (Researcher)^2 ORCID icon

Show affiliations

  * 1. ROR icon Institut de Recherche en Informatique Fondamentale
  * 2. ROR icon Laboratoire de Recherche en Informatique de Paris 6

Description

Dependent types provide a way for programmers to write code that
computes types. Type-level computations in turn may depend on values,
allowing various powerful programming patterns. Moreover, even though
types exhibit a rich dynamic semantics, type-checking remains a
 purely compile-time operation.

The Deputy system presented in this paper is a Clojure-hosted
dependently-typed programming language, featuring inductive
datatypes. It serves as an experimental vehicle to explore the
implications of the Lisp-based REPL-driven interactive development
workflow, not only while programming but also during type checking.
The system is thus developed as a Clojure library, which means that
the host language is still available while "programming" at the
type-level.

Files

deputy-els.pdf

Files (701.7 kB)

                Name                   Size     Download all
deputy-els.pdf                       701.7 kB Preview Download
md5:c7e20b60481890431fb0a4546dc12d71

Additional details

Related works

Is compiled by
    Other: 2677-3465 (ISSN)

7K
Views
8K
Downloads
Show more details

                  All versions This version
Views
                  6,930        6,930
Total views

Downloads
                  8,333        8,333
Total downloads

Data volume
                  7.5 GB       7.5 GB
Total data volume

More info on how stats are collected....

Versions

External resources

Indexed in

  * [ope]
    OpenAIRE

Communities

Keywords and subjects

Keywords

  * dependent types
  * REPL
  * symbolic debugging

Details

DOI
    10.5281/zenodo.15424968
    DOI Badge

    DOI

    10.5281/zenodo.15424968

    Markdown

    [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg)](https://doi.org/10.5281/zenodo.15424968)

    reStructuredText

    .. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg
      :target: https://doi.org/10.5281/zenodo.15424968

    HTML

    <a href="https://doi.org/10.5281/zenodo.15424968"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg" alt="DOI"></a>

    Image URL

    https://zenodo.org/badge/DOI/10.5281/zenodo.15424968.svg

    Target URL

    https://doi.org/10.5281/zenodo.15424968

Resource type
    Conference paper
Publisher
    Zenodo
Conference
    The 18th European Lisp Symposium (ELS'25) , Zurich, 19-20 05 2025
Languages
    English

Rights

License

  * cc-by-nd-4.0 icon Creative Commons Attribution No Derivatives 4.0
    International
    No further description. Read more

Citation

Export

Technical metadata

Created
    May 15, 2025
Modified
    May 15, 2025

Jump up

About

  * About
  * Policies
  * Infrastructure
  * Principles
  * Projects
  * Roadmap
  * Contact

Blog

  * Blog

Help

  * FAQ
  * Docs
  * Guides
  * Support

Developers

  * REST API
  * OAI-PMH

Contribute

  * GitHub
  * Donate

Funded by

  * [cern]
  * [openair]
  * [eu]

Powered by CERN Data Centre & InvenioRDM

  * Status
  * Privacy policy
  * Cookie policy
  * Terms of Use
  * Support

This site uses cookies. Find out more on how we use cookies

Accept all cookies Accept only essential cookies