The Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]

zenodo.org

cross-posted to:
lisp@programming.dev

The Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]

zenodo.org

☆ Yσɠƚԋσʂ ☆@lemmy.mlM to

Lisp Community@lemmy.mlEnglish · 22 days ago

cross-posted to:
lisp@programming.dev

You must log in or register to comment.

Chat

Lisp Community@lemmy.ml

lisp@lemmy.ml

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !lisp@lemmy.ml

A community for the Lisp family of programming languages.

Lisp (historically LISP) is a family of programming languages with a long history and a distinctive, fully parenthesized prefix notation. Originally specified in 1958, Lisp is the second-oldest high-level programming language. Only Fortran is older, by one year.

History

History of Lisp - John McCarthy’s history of 12 February 1979.
History of LISP at the Computer Histroy Museum

Associations and meetings

Resources - TODO

Related communities (dialects) - TODO

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
4 users / week
20 users / month
41 users / 6 months
1 local subscriber
785 subscribers
58 Posts
0 Comments
Modlog