Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Type Theory Forall « »
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric

2y ago 56:30

シェア

MP3•エピソードのホーム

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

In this episode I gather with two good friends Eric and Nitin to randomly talk random subjects that pops up. Among them we talked about POPL, Scala, Isabelle, Parametricity, Dependent Object Types (DOT, for short) and more!

Links

Nitin Twitter @NitinJohnRaj2
Eric Twitter @EricBond10
Collection of links on logical relations
Theorems for Free
Reynolds Paper
Practical Foundations for Programming Languages

… continue reading

39 つのエピソード

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#14 POPL, Parametricity, Scala, DOT - Nitin and Eric

Type Theory Forall

26 subscribers

published 2y ago

シェア

MP3•エピソードのホーム

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

In this episode I gather with two good friends Eric and Nitin to randomly talk random subjects that pops up. Among them we talked about POPL, Scala, Isabelle, Parametricity, Dependent Object Types (DOT, for short) and more!

Links

Nitin Twitter @NitinJohnRaj2
Eric Twitter @EricBond10
Collection of links on logical relations
Theorems for Free
Reynolds Paper
Practical Foundations for Programming Languages

… continue reading

39 つのエピソード

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

すべてのエピソード

×

プレーヤーFMへようこそ！

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。全ての端末で購読を同期するためにサインアップしてください。

500+以上のトピックを聴こう

クイックリファレンスガイド

トップポッドキャスト

鈴木淑子の地球は競馬でまわってる

文化放送競馬中継～今週のメインレース

ボードゲームおっぱい

聴く日経ヘッドライン

サンドウィッチマンの東北魂

トータルテンボスのぬきさしならナイト！

流行りモノ通信簿

RADIO365-TOKYO BAYSIDE RADIO STATION

町田徹のふかぼり！

足立明穂の週刊ＩＴトレンドＸ

伊藤洋一のRound Up World Now！

The other side journal

KIQTAS（キクタス）

ヴォイニッチの科学書

武田邦彦のヒバリクラブ

IchibanTalk 海外で頑張る日本人トーク

BUSINESS WARS / ビジネスウォーズ