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

zenodo.org

cross-posted to:
[email protected]

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

zenodo.org

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

Lisp Community@lemmy.mlEnglish · 1 month ago

cross-posted to:
[email protected]

You must log in or # 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: [email protected]

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
14 users / week
14 users / month
14 users / 6 months
0 local subscribers
797 subscribers
50 Posts
0 Comments
Modlog