Programming with Refinement Types An Introduction to LiquidHaskell Ranjit Jhala, Eric Seidel, Niki Vazou [PDF] 1.LiquidHaskell: Verification of Haskell with SMTs 1.1. Well-Typed Programs Can Go Wrong 1.2. The Heartbleed Bug. 1.3. The Heartbleed Bug in Haskell 1.4. True is a bad argument 1.5. But, 10 is a good argument 1.6. Partial Functions 1.7. Functional Correctness 1.8. Goal: Extend Type System
タグ
- すべて
- .net (7)
- 1041 (3)
- 2d (2)
- 3d (12)
- AST (2)
- Algebraic Effects (4)
- Angular (8)
- Angular2 (2)
- BFF (2)
- BLAS (3)
- BaaS (2)
- BuckleScript (4)
- C# (8)
- CI (10)
- CQRS (9)
- CSP (4)
- Capistrano (3)
- CoreOS (4)
- DDD (22)
- DeepLearning (2)
- ECMAScript (9)
- Eff (2)
- Electron (5)
- F# (2)
- FRP (5)
- GM (2)
- HOC (2)
- IPO (2)
- JVR (6)
- JWT (3)
- Jsonnet (3)
- Kickstarter (2)
- Koka (2)
- Kyoto (2)
- LAPACK (2)
- Lambda (3)
- LibreOffice (10)
- MVNO (2)
- NLP (2)
- Notification (2)
- OCaml (31)
- OOo (11)
- OpenID Connect (4)
- OpenWRT (4)
- Qiita (6)
- Reason (7)
- SAC (6)
- SML (2)
- Swift (2)
- VoCore (4)
- WYSIWYG (3)
- addon (5)
- admin (2)
- advent (2)
- agile (2)
- ai (7)
- air (4)
- ajax (5)
- algorithm (6)
- amazon (3)
- analyze (5)
- android (59)
- angularjs (8)
- animation (19)
- ansible (6)
- api (33)
- app (6)
- apple (6)
- application (11)
- ar (2)
- architecture (24)
- art (2)
- article (55)
- as (32)
- async (7)
- audio (2)
- autocomplete (3)
- automation (2)
- await (2)
- aws (19)
- babel (10)
- backbonejs (6)
- backup (5)
- bash (5)
- bazaar (3)
- benchmark (4)
- bgm (2)
- bicycle (2)
- bigtable (2)
- bitbucket (8)
- bitcoin (7)
- blockchain (7)
- blog (6)
- book (25)
- bootstrap (5)
- browser (8)
- browserify (2)
- bts (3)
- build (10)
- business (12)
- bzr (4)
- c (2)
- c++ (12)
- cairo (3)
- calendar (3)
- camera (2)
- canvas (18)
- cassandra (2)
- cc (2)
- centos (2)
- cg (2)
- chainer (8)
- chart (5)
- cheatsheet (10)
- chrome (19)
- cizen (5)
- cli (3)
- client (3)
- clock (2)
- cloud (4)
- cluster (2)
- co (2)
- codeplex (4)
- coffee (3)
- color (9)
- commonjs (2)
- communication (2)
- community (3)
- company (2)
- comparison (4)
- compiler (3)
- component (19)
- config (7)
- container (3)
- continuation (6)
- converter (2)
- cook (16)
- cookpad (2)
- coverage (2)
- crawler (2)
- css (56)
- css3 (2)
- cycle.js (3)
- d3 (29)
- dart (5)
- dashboard (3)
- data (16)
- database (7)
- datastore (8)
- db (18)
- debug (22)
- debugger (3)
- deep-learning (12)
- demo (2)
- dena (2)
- deploy (7)
- design (93)
- desktop (2)
- dev (70)
- development (2)
- device (9)
- devops (5)
- dict (4)
- diff (4)
- distribution (2)
- dj (2)
- django (13)
- dnd (3)
- doc (7)
- docker (34)
- dom (8)
- dotfile (2)
- double (2)
- dqn (2)
- drawing (5)
- dsl (4)
- e2e (5)
- ec2 (3)
- ecosystem (2)
- editor (5)
- effect (2)
- elasticsearch (13)
- elixir (7)
- elm (10)
- email (2)
- emulator (3)
- encoding (9)
- engine (3)
- engineer (2)
- english (11)
- entrepedia (3)
- environment (5)
- epub (3)
- es2015 (3)
- es6 (11)
- eslint (2)
- essay (2)
- event (3)
- example (8)
- extension (21)
- facebook (8)
- falcor (2)
- filesystem (2)
- finance (3)
- firebase (3)
- firebug (5)
- firefox (20)
- flash (29)
- flask (2)
- fleet (2)
- flex (10)
- flexbox (4)
- flow (3)
- flowtype (17)
- fluentd (4)
- flux (32)
- font (14)
- food (5)
- format (3)
- framework (45)
- free (24)
- frontend (3)
- functional (8)
- gadget (7)
- gae (48)
- gaeunit (2)
- game (38)
- gas (3)
- gauche (2)
- gc (2)
- gem (4)
- generator (5)
- geo (3)
- gif (2)
- gift (12)
- git (27)
- github (14)
- gmail (7)
- go (3)
- google (57)
- googleapps (4)
- gpu (2)
- graphics (98)
- graphql (12)
- greasemonkey (8)
- grep (2)
- growl (2)
- gtk (6)
- gui (3)
- guideline (2)
- hack (2)
- hardware (15)
- haskell (15)
- hg (50)
- highlighting (2)
- history (4)
- hosting (4)
- howto (24)
- html (10)
- html5 (17)
- http (5)
- i18n (13)
- icon (28)
- ide (5)
- ie (10)
- image (14)
- ime (4)
- immutable.js (3)
- infrastructure (5)
- inspiration (5)
- io.js (3)
- ios (17)
- ipad (4)
- iphone (20)
- isomorphic (3)
- ja (10)
- java (14)
- javascript (5)
- job (8)
- joke (21)
- jquery (52)
- js (328)
- jsdom (3)
- json (9)
- jvm (4)
- karma (3)
- keyboard (4)
- kibana (5)
- koa (3)
- kubernetes (13)
- l10n (4)
- lang (9)
- language (5)
- layout (6)
- library (143)
- life (3)
- lifehack (5)
- linux (20)
- lisp (5)
- list (44)
- logo (5)
- mac (14)
- management (5)
- manual (7)
- map (5)
- markdown (4)
- material (22)
- math (4)
- mercurial (50)
- microservices (8)
- microsoft (5)
- middleware (5)
- mobile (26)
- mobx (3)
- mocha (5)
- module (6)
- monad (3)
- mongodb (4)
- monitoring (6)
- motion (14)
- movie (3)
- mozilla (6)
- multitouch (4)
- music (19)
- mvc (3)
- native (6)
- network (11)
- news (7)
- nginx (6)
- nicovideo (3)
- node.js (25)
- nose (5)
- nosql (3)
- npm (13)
- oauth (4)
- objective-c (3)
- online (6)
- opencv (5)
- openid (4)
- openpne (4)
- opensocial (4)
- opera (4)
- optimize (39)
- oracle (3)
- oss (51)
- osx (3)
- p2p (3)
- package (4)
- paper (3)
- patch (3)
- pattern (17)
- paypal (3)
- pdf (3)
- performance (16)
- photo (8)
- photoshop (11)
- php (6)
- plugin (57)
- postgresql (3)
- power-assert (4)
- ppt (4)
- presentation (4)
- programming (31)
- project (10)
- promise (6)
- proposal (3)
- protocol (7)
- psd (5)
- pygtk (6)
- pyqt (5)
- python (123)
- qt (10)
- queue (3)
- quiz (4)
- rails (40)
- react (197)
- reactive (4)
- reasonml (4)
- recipe (5)
- recommend (3)
- redmine (3)
- redux (127)
- redux-saga (31)
- redux-thunk (3)
- refactoring (5)
- reference (27)
- regexp (4)
- relay (5)
- release (3)
- rest (3)
- review (5)
- riak (4)
- rocket (4)
- router (4)
- rss (3)
- rtl (3)
- ruby (53)
- rust (5)
- rxjs (6)
- scheme (7)
- science (5)
- scm (4)
- sdk (6)
- search (17)
- security (22)
- self (7)
- seo (3)
- server (17)
- service (65)
- session (5)
- setup (3)
- shell (5)
- shop (6)
- skk (3)
- sns (3)
- socket (3)
- softbank (4)
- software (25)
- sound (6)
- soundcloud (3)
- spa (6)
- spec (12)
- speed (17)
- sql (4)
- ssh (4)
- startup (21)
- stat (5)
- storage (3)
- stuff (31)
- style (4)
- subversion (3)
- summary (24)
- svg (13)
- svn (6)
- syntax (6)
- system (5)
- systemd (3)
- tc39 (3)
- tdd (5)
- tech (4)
- template (7)
- terminal (3)
- test (57)
- thread (3)
- tips (199)
- titanium (12)
- tool (103)
- tortoisehg (16)
- transition (3)
- translation (11)
- tutorial (57)
- tween (3)
- twitter (11)
- typescript (11)
- typo (7)
- ubuntu (11)
- ui (80)
- unicode (7)
- unicorn (7)
- unit (3)
- unittest (9)
- usability (4)
- ux (7)
- uzabase (7)
- v8 (8)
- vcs (8)
- vector (11)
- venture (14)
- video (22)
- vim (72)
- vimperator (17)
- virtual-dom (4)
- visual (4)
- visualization (58)
- vpc (3)
- vue.js (5)
- wallpaper (3)
- web (130)
- webkit (5)
- webpack (13)
- wiki (4)
- windows (40)
- word2vec (4)
- wordpress (4)
- xml (6)
- xss (4)
- yarn (5)
- youtube (3)
- スタートアップ (4)
- ネタ (11)
- パーセプトロン (3)
- ベンチャー (4)
- 仕事 (5)
- 仮想通貨 (6)
- 機械学習 (34)
- 移行 (4)
- 継続 (4)
- 自然言語処理 (6)
- 設計 (7)
- 部分継続 (3)
- js (328)
- tips (199)
- react (197)
- library (143)
- web (130)
- redux (127)
- python (123)
- tool (103)
- graphics (98)
- design (93)
refinementに関するkuyのブックマーク (1)
-
kuy 2017/01/14
- Haskell
- refinement
- type
リンク -
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx