GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Added bibtex for the book as a separate file. · DSLsofMath/DSLsofMath@49a65ab

File tree

Expand file treeCollapse file tree
Open diff view settings
Filter options
  • README.md
  • admin
    • JanssonIonescuBernardyDSLsofMathBook2022.bib
Expand file treeCollapse file tree
Open diff view settings
Collapse file

‎README.md‎

Copy file name to clipboardExpand all lines: README.md
+1-1Lines changed: 1 addition & 1 deletion
  • Display the source diff
  • Display the rich diff
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ Course codes: [DAT326](https://www.student.chalmers.se/sp/course?course_id=29865
1414
## News
1515

1616
* Tuesday 2022-01-18: First lecture of the 2022 course instance ([zoom links, etc](https://chalmers.instructure.com/courses/17542/pages/lecture-media))
17-
* 2022: book available from [Amazon](https://www.amazon.co.uk/dp/184890388X).
17+
* 2022: book available from [Amazon](https://www.amazon.co.uk/dp/184890388X) and from [other sources](https://www.adlibris.com/se/bok/domain-specific-languages-of-mathematics-9781848903883). [Bibtex entry](admin/JanssonIonescuBernardyDSLsofMathBook2022.bib).
1818
* [Lecture note snapshots](L/snapshots/) with drafts of the full course book
1919
* [YouTube playlist](https://www.youtube.com/playlist?list=PLf5C73P7ab-4kc8Z4S7adKdm-nTkn-ND-) with the recorded lectures from the 2021 course instance (most in Swedish, some in English)
2020

Collapse file

‎admin/JanssonIonescuBernardyDSLsofMathBook2022.bib‎

Copy file name to clipboard
+31Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
@Book{JanssonIonescuBernardyDSLsofMathBook2022,
2+
author = {Patrik Jansson and Cezar Ionescu and Jean-Philippe
3+
Bernardy},
4+
title = {Domain-Specific Languages of Mathematics},
5+
publisher = {College Publications},
6+
pages = 268,
7+
language = {English},
8+
year = 2022,
9+
ISBN = {978-1-84890-388-3},
10+
volume = 24,
11+
series = {Texts in Computing},
12+
month = JAN,
13+
abstract = {The main idea behind this book is to encourage
14+
readers to approach mathematical domains from a
15+
functional programming perspective: to identify the
16+
main functions and types involved and, when
17+
necessary, to introduce new abstractions; to give
18+
calculational proofs; to pay attention to the syntax
19+
of the mathematical expressions; and, finally, to
20+
organize the resulting functions and types in
21+
domain-specific languages. The book is recommended
22+
for developers who are learning mathematics and
23+
would like to use Haskell to make sense of
24+
definitions and theorems. It is also a book for the
25+
mathematically interested who wants to explore
26+
functional programming and domain-specific
27+
languages. The book helps put into perspective the
28+
domains of Mathematics and Functional Programming
29+
and shows how Computer Science and Mathematics are
30+
usefully taught together.}
31+
}

0 commit comments

Comments
0 (0)
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.