Type-Safe Modular Hash-Consing (Chapter 2)

June 14, 2018

Research

46

Type-Safe Modular Hash-Consing (Chapter 2)

J.-C. Filliatre and S. Conchon
The 2006 ACM SIGPLAN Workshop on ML (ML 2006), Portland, Oregon, 16th September 2006.

tyabu12

June 14, 2018

Tweet

More Decks by tyabu12

See All by tyabu12

Git セミナー

0

42

Not a Number of Floating Point Problems

0

48

Automating the Verification of Floating-Point Programs

0

40

福井大学情報・メディア学科学士研究発表

0

21

Other Decks in Research

See All in Research

システムから変える　自分と世界を変えるシステムチェンジの方法論 / Systems Change Approaches

3

860

LiDARとカメラのセンサーフュージョンによる点群からのノイズ除去

0

130

Large Vision Language Model (LVLM) に関する最新知見まとめ (Part 1)

18

3.1k

ICLR2024: Reading "Training Unbiased Diffusion Models From Biased Dataset"

0

110

Weekly AI Agents News! 9月号論文のアーカイブ

1

120

Kaggle役立ちアイテム紹介（入門編）

14

4.6k

[ECCV2024読み会] 衛星画像からの地上画像生成

1

650

さんかくのテスト.pdf

0

340

外積やロドリゲスの回転公式を利用した点群の回転

1

650

Weekly AI Agents News! 7月号論文のアーカイブ

1

220

授業評価アンケートのテキストマイニング

1

360

多様かつ継続的に変化する環境に適応する情報システム/thesis-defense-presentation

1

530

Featured

See All Featured

Being A Developer After 40

86

590k

Java REST API Framework Comparison - PWX 2021

28

8.2k

The Psychology of Web Performance [Beyond Tellerrand 2023]

44

2.2k

For a Future-Friendly Web

175

9.4k

Designing for Performance

604

68k

Typedesign – Prime Four

40

2.4k

Why Our Code Smells

334

57k

Design and Strategy: How to Deal with People Who Don’t "Get" Design

126

18k

5 minutes of I Can Smell Your CMS

202

19k

Imperfection Machines: The Place of Print at Facebook

265

13k

Principles of Awesome APIs and How to Build Them.

126

17k

Bash Introduction

608

210k

Transcript