Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Type-Safe Modular Hash-Consing (Chapter 2)

Avatar for tyabu12 tyabu12
June 14, 2018
Research
0
49

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.
Avatar for tyabu12

tyabu12

June 14, 2018
Tweet

More Decks by tyabu12

See All by tyabu12
Git セミナー
Avatar for tyabu12 tyabu12
0
46
Not a Number of Floating Point Problems
Avatar for tyabu12 tyabu12
0
51
Automating the Verification of Floating-Point Programs
Avatar for tyabu12 tyabu12
0
44
福井大学 情報・メディア学科 学士 研究発表
Avatar for tyabu12 tyabu12
0
25

Other Decks in Research

See All in Research
Cross-Media Information Spaces and Architectures
Avatar for Beat Signer signer
PRO
0
220
EarthMarker: A Visual Prompting Multimodal Large Language Model for Remote Sensing
Avatar for SatAI.challenge satai
3
340
RapidPen: AIエージェントによるペネトレーションテスト 初期侵入全自動化の研究
Avatar for Sho Nakatani laysakura
0
1.5k
電通総研の生成AI・エージェントの取り組み エンジニアリング業務向けAI活用事例紹介
Avatar for AITC - DENTSU SOKEN isidaitc
1
230
最適決定木を用いた処方的価格最適化
Avatar for MIKIO KUBO mickey_kubo
4
1.7k
在庫管理のための機械学習と最適化の融合
Avatar for MIKIO KUBO mickey_kubo
3
1.1k
Computational OT #1 - Monge and Kantorovitch
Avatar for Gabriel Peyré gpeyre
0
180
Vision And Languageモデルにおける異なるドメインでの継続事前学習が性能に与える影響の検証 / YANS2024
Avatar for Sansan R&D sansan_randd
1
110
[輪講] SigLIP 2: Multilingual Vision-Language Encoders with Improved Semantic Understanding, Localization, and Dense Features
Avatar for Naoki Kato nk35jk
2
480
Generative Models 2025
Avatar for Hiroshi Takahashi takahashihiroshi
21
11k
SSII2025 [SS2] 横浜DeNAベイスターズの躍進を支えたAIプロダクト
Avatar for 画像センシングシンポジウム ssii
PRO
7
3.4k
Streamlit 総合解説 ~ PythonistaのためのWebアプリ開発 ~
Avatar for MIKIO KUBO mickey_kubo
1
900

Featured

See All Featured
Into the Great Unknown - MozCon
Avatar for Noah Learner thekraken
39
1.9k
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
35
6.7k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
1
370
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
72
4.9k
Visualization
Avatar for Eitan Lees eitanlees
146
16k
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
10
660
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
277
23k
The Power of CSS Pseudo Elements
Avatar for Geoffrey Crofte geoffreycrofte
77
5.8k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
161
15k
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
223
9.7k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
667
120k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
Avatar for Morgane Peng morganepeng
130
19k

Transcript

  1. None
  2. None
  3. None
  4. None
  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None
  26. None
  27. None
  28. None
  29. None
  30. None
  31. None
  32. None
  33. None
  34. None
  35. None
  36. None
  37. None
  38. None
  39. None
  40. None
  41. None