記事へのコメント1

    • 注目コメント
    • 新着コメント
    masterq
    masterq "For the sake of simplicity, this paper explore the semantics of a subset of the Cat language that excludes side-effects, and supports only integer, boolean, and function types."

    2022/10/26 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    https://www.researchgate.net/publication/228985001_Typing_Functional_Stack-Based_Languages

    ブックマークしたユーザー

    • masterq2022/10/26 masterq
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - 暮らし

    いま人気の記事 - 暮らしをもっと読む

    新着記事 - 暮らし

    新着記事 - 暮らしをもっと読む

    同時期にブックマークされた記事