GapLess!
ギャップレス!
お買い物に必要な情報をまとめて表示！
売れ筋ランキングや最安値、レビュー動画など、お買い物に必要な情報をまとめたサイト
｜ 特集 ｜ このサイトについて ｜
｜ TOP ｜ ＞J9783540762553

Games and Full Abstraction for a Functional Metalanguage With Recursive

Games and Full Abstraction for a Functional Metalanguage With Recursive
最安値:￥14118

サイト名
価格
レビュー
ランキング
Amazon
￥14118
0点
0件
-
-

YouTube：関連動画（レビュー）

Logic, Co-induction and Infinite Computation Logic, Co-induction and Infinite Computation
Logic, Co-induction and Infinite Computation
Grain, a WebAssembly functional language - Interview with co-author Oscar Spencer Grain, a WebAssembly functional language - Interview with co-author Oscar Spencer
Grain, a WebAssembly functional language - Interview with co-author Oscar Spencer
CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++” CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
[CL-THEORY] Philip Saville, "Full abstraction a la O'Hearn-Riecke" [CL-THEORY] Philip Saville, "Full abstraction a la O'Hearn-Riecke"
[CL-THEORY] Philip Saville, "Full abstraction a la O'Hearn-Riecke"
Compositionality, Adequacy, and Full Abstraction Compositionality, Adequacy, and Full Abstraction
Compositionality, Adequacy, and Full Abstraction
Game Semantics [1/4] - Dan R. Ghica - OPLSS 2018 Game Semantics [1/4] - Dan R. Ghica - OPLSS 2018
Game Semantics [1/4] - Dan R. Ghica - OPLSS 2018
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
CS152 May 5 Lecture CS152 May 5 Lecture
CS152 May 5 Lecture
Prototyping a Functional Language using Higher-Order Logic Programming Prototyping a Functional Language using Higher-Order Logic Programming
Prototyping a Functional Language using Higher-Order Logic Programming
Build Your Own Domain Specific Language in Python With textX Build Your Own Domain Specific Language in Python With textX
Build Your Own Domain Specific Language in Python With textX
Piotr Klibert: Functional and reactive programming techniques - 2015-01-16 - WarsawJS #5 Piotr Klibert: Functional and reactive programming techniques - 2015-01-16 - WarsawJS #5
Piotr Klibert: Functional and reactive programming techniques - 2015-01-16 - WarsawJS #5
Haskell Keynote Lazy interactions – back to the future by Simon Thompson Haskell Keynote Lazy interactions – back to the future by Simon Thompson
Haskell Keynote Lazy interactions – back to the future by Simon Thompson
Conor McBride - Dependently-Typed Metaprogramming 2/8: Metaprogramming the Simply-Typed λ-Calculus Conor McBride - Dependently-Typed Metaprogramming 2/8: Metaprogramming the Simply-Typed λ-Calculus
Conor McBride - Dependently-Typed Metaprogramming 2/8: Metaprogramming the Simply-Typed λ-Calculus
Programming Languages Background 2 - Dan Licata - OPLSS 2017 Programming Languages Background 2 - Dan Licata - OPLSS 2017
Programming Languages Background 2 - Dan Licata - OPLSS 2017
PolyConf 16: A brief history of F# / Rachel Reese PolyConf 16: A brief history of F# / Rachel Reese
PolyConf 16: A brief history of F# / Rachel Reese
CS450 - 25 - 2 Why CS450 CS450 - 25 - 2 Why CS450
CS450 - 25 - 2 Why CS450
(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket (ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
Abstracting Definitional Interpreters Abstracting Definitional Interpreters
Abstracting Definitional Interpreters
Galois, Inc. Tech Talk: Vellvm - Verifying the LLVM (Steve Zdancewic) Galois, Inc. Tech Talk: Vellvm - Verifying the LLVM (Steve Zdancewic)
Galois, Inc. Tech Talk: Vellvm - Verifying the LLVM (Steve Zdancewic)

レビュー、評判

検索結果が0件でした。

Twitter：関連ツイート

検索結果が0件でした。

最安値ランキング

1位
￥14118
Amazon
Springer

関連商品

関連カテゴリ

関連するカテゴリがありませんでした