レナート・アウグストソン

レナート・アウグストソン
レナート・アウグストソン
知られている	言語 (Lazy ML、Cayenne)、コンパイラ ( Bluespec SystemVerilogファースト、HBC Haskell、並列 Haskell フロントエンド)、LPMudパイオニア、NetBSD デバイスドライバー
	科学者としてのキャリア
フィールド	コンピュータサイエンス、関数型プログラミング
機関	カールステッド・リサーチ・アンド・テクノロジー、サンドバースト、クレディ・スイス、スタンダード・チャータード銀行、フェイスブック、Xデベロップメント、グーグル、エピック・ゲームズ、チャルマース工科大学

プログラミング

Augustsson は、マルチユーザーダンジョン(MUD) LPMudの初期開発に、LPMUD ドライバーとCD mudlibの両方で深く関わっていました。彼の MUD コミュニティでのペンネームは Marvin です。

カイエン^[4]
Haskell -Bコンパイラ（HBC）^[5]
マサチューセッツ工科大学（MIT）の並列Haskell（pH）コンパイラフロントエンド^[6]
Bluespec SystemVerilog (BSV) コンパイラ、最初のバージョン^[7]
^{Lazy ML (LML)はトーマス・ジョンソン[8]}と共同開発した関数型プログラミング言語で、ミランダやハスケルよりも前の1980年代初頭に開発された。LMLはMLの強く型付けされた静的スコープの実装であり、遅延評価を備えている。LMLの主な革新は、遅延関数型言語をコンパイルする方法を示したことである。それまで、遅延言語は解釈型グラフ削減によって実装されていた。LMLはグラフ削減マシン(Gマシン)コードにコンパイルされた。 ^[8]
Epic Gamesの開発チームの一員で、Verseプログラミング言語の開発を担当した^[9]

^ Augustsson, Lennart (2004–2011). 「Commercial Users of Functional Programming」。2012年2月8日時点のオリジナルよりアーカイブ。2016年9月18日閲覧。
^ オーガスソン、レナート (2024). 「レナート・オーガスソン」。LinkedIn プロフィール。2017 年3 月 29 日に取得。
^ 「第13章 USBデバイス」。 2016年9月18日閲覧。
^ Augustsson, Lennart (1998). Cayenne – 依存型を持つ言語. ICFP '98.関数型プログラミングに関する第3回ACM SIGPLAN国際会議の議事録. pp. 239–250. CiteSeerX 10.1.1.47.155 . doi : 10.1145/289423.289451 . S2CID 18331937.
^ 「Haskell 実装」Haskell.org 2022 年 9 月 30 日。2023年11 月 10 日に閲覧。
^ 「pH: Parallel Haskell」。マサチューセッツ工科大学: 計算構造グループ。 2016年9月18日閲覧。
^ オーガスソン、レナート (2003 年 1 月 17 日)。 Bluespec: デザイナーの視点(PDF) (レポート)。サンドバースト株式会社
^ ab Augustsson, Lennart (1984). Lazy ML 用コンパイラ. LFP '84. 1984 ACM シンポジウム on LISP and functional programming の議事録. pp. 218–227. doi : 10.1145/800055.802038 . S2CID 11365842.
^ 「The Verse Calculus 関数型論理プログラミングのための中核となる計算法」(PDF) 2023年3月。