close
1.

電子ブック
ＥＢ
1. Implementation and Application of Functional Languages
Olaf Chitil, Zolt?n Horv?th, Takeo Kanade, Vikt?ria Zs?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity / Atze Dijkstra ; Jeroen Fokker ; S. Doaitse Swierstra
XHaskell - Adding Regular Expression Types to Haskell / Martin Sulzmann ; Kenny Zhuo Ming Lu
Partial Parsing: Combining Choice with Commitment / Malcolm Wallace
Lazy Contract Checking for Immutable Data Structures / Robert Bruce Findler ; Shu-yu Guo ; Anne Rogers
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA / Matthew Naylor ; Colin Runciman
A Supercompiler for Core Haskell / Neil Mitchell
Checking Dependent Types Using Compiled Code: Preliminary Report / Dirk Kleeblatt
Debugging Lazy Functional Programs by Asking the Oracle / Bernd Brassel ; Holger Siegel
Uniqueness Typing Simplified / Edsko de Vries ; Rinus Plasmeijer ; David M. Abrahamson
Tabular Expressions and Total Functional Programming / Baltasar Trancon y Widemann ; David Lorge Parnas
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler / Marc Feeley
From Contracts Towards Dependent Types: Proofs by Partial Evaluation / Stephan Herhut ; Sven-Bodo Scholz ; Robert Bernecky ; Clemens Grelck ; Kai Trojahner
Author Index
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
2.

電子ブック
ＥＢ
2. Implementation and Application of Functional Languages
Sven-Bodo Scholz, Olaf Chitil, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming
Olaf Chitil, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2014
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Implementation and Application of Functional Languages
Olaf Chitil, Zoltán Horváth, Takeo Kanade, Viktória Zsók
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity / Atze Dijkstra ; Jeroen Fokker ; S. Doaitse Swierstra
XHaskell - Adding Regular Expression Types to Haskell / Martin Sulzmann ; Kenny Zhuo Ming Lu
Partial Parsing: Combining Choice with Commitment / Malcolm Wallace
Lazy Contract Checking for Immutable Data Structures / Robert Bruce Findler ; Shu-yu Guo ; Anne Rogers
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA / Matthew Naylor ; Colin Runciman
A Supercompiler for Core Haskell / Neil Mitchell
Checking Dependent Types Using Compiled Code: Preliminary Report / Dirk Kleeblatt
Debugging Lazy Functional Programs by Asking the Oracle / Bernd Brassel ; Holger Siegel
Uniqueness Typing Simplified / Edsko de Vries ; Rinus Plasmeijer ; David M. Abrahamson
Tabular Expressions and Total Functional Programming / Baltasar Trancon y Widemann ; David Lorge Parnas
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler / Marc Feeley
From Contracts Towards Dependent Types: Proofs by Partial Evaluation / Stephan Herhut ; Sven-Bodo Scholz ; Robert Bernecky ; Clemens Grelck ; Kai Trojahner
Author Index
Graph Parser Combinators / Steffen Mazanek ; Mark Minas
Testing Erlang Refactorings with QuickCheck / Huiqing Li ; Simon Thompson
Optimal Lambda Lifting in Quadratic Time / Marco T. Morazan ; Ulrik P. Schultz
5.

電子ブック
ＥＢ
5. Implementation and Application of Functional Languages
Sven-Bodo Scholz, Olaf Chitil, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼