Type-Safe Modular Hash-Consing (Chapter 2)

June 14, 2018

Research

42

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

39

Not a Number of Floating Point Problems

0

38

Automating the Verification of Floating-Point Programs

0

29

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

0

17

Other Decks in Research

See All in Research

言語間転移学習で大規模言語モデルを賢くする

6

1.8k

[ICLR'24] Towards Assessing and Benchmarking Risk-Return Tradeoff of OPE

harukakiyohara_

0

180

DeepCrysTet: A Deep Learning Approach Using Tetrahedral Mesh for Predicting Properties of Crystalline Materials

0

360

Webスケールデータセットに対する実用的なポイズニング手法 / Poisoning Web-Scale Training Datasets is Practical

0

110

Accurate Method and Variable Tracking in Commit History

0

240

メタ動画データセットによる動作認識の現状と可能性

0

170

Target trial emulationの概要

2

1.1k

1

720

クロスモーダル表現学習の研究動向: 音声関連を中心として

3

560

床面圧力センサ開発における感圧導電シート分離方式の検討 / WISS2023

0

260

「歴史的農業環境閲覧システム」と「迅速測図」について

1

580

フルリモートワークでのスクラムのスケール

2

1k

Featured

See All Featured

"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)

219

21k

No one is an island. Learnings from fostering a developers community.

14

2.1k

Bash Introduction

604

210k

Fontdeck: Realign not Redesign

paulrobertlloyd

75

4.9k

What's in a price? How to price your products and services

237

11k

Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End

243

20k

5 minutes of I Can Smell Your CMS

199

19k

It's Worth the Effort

180

27k

Code Reviewing Like a Champion

513

39k

Understanding Cognitive Biases in Performance Measurement

6

990

Building Applications with DynamoDB

88

5.6k

Helping Users Find Their Own Way: Creating Modern Search Experiences

19

1.9k

Transcript