Compiler Szeminárium

0 views
Skip to first unread message

Daniel Berenyi

unread,
Dec 1, 2020, 8:34:14 AM12/1/20
to compiler-seminar-budapest
Sziasztok!

Ma délután 4-kor ismét compiler szeminárium, itt:
https://meet.google.com/bvq-koox-fpp

D.

Daniel Berenyi

unread,
Dec 1, 2020, 12:03:10 PM12/1/20
to compiler-seminar-budapest
Sziasztok!

Ma ezek kerültek elő a beszélgetés során:
-----------------------------
B. D.
https://github.com/Co-dfns/Co-dfns

Balazs Komuves
"Juvix synthesizes a high-level frontend syntax, dependent-linearly-typed core language, whole-program optimisation system, and backend-swappable execution model into a single unified stack for writing formally verifiable, efficiently executable smart contracts which can be deployed to a variety of distributed ledgers."

ez lehet hogy relevans: "correct-by-construction pretty printing" https://archive.alvb.in/msc/thesis/reading/correct-agda-pretty-printing_Danielsson_dk.pdf
"A bidirectional language for parsing and reflective printing" http://jssst.or.jp/files/user/taikai/2016/PPL/ppl1-1.pdf
---------------------
üdv,
D.

Kéri Kálmán

unread,
Dec 1, 2020, 12:49:12 PM12/1/20
to Daniel Berenyi, compiler-seminar-budapest
https://hackage.haskell.org/package/syntax

Azt gyanítom, lemaradtam egy engem érdeklő témáról.

--
Azért kapta ezt az üzenetet, mert feliratkozott a Google Csoportok „compiler-seminar-budapest” csoportjára.
Az erről a csoportról és az ahhoz kapcsolódó e-mailekről való leiratkozáshoz küldjön egy e-amailt a(z) compiler-seminar-b...@googlegroups.com címre.
Ha szeretné megtekinteni ezt a beszélgetést az interneten, látogasson el ide: https://groups.google.com/d/msgid/compiler-seminar-budapest/CABmfui0P0hvbX57G1yUdXb10-77vwy38L3LbPxxb8tJtZ%2BNayQ%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages