Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis
Journal of functional programming, 1996-01, Vol.6 (1), p.75-109
1996
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The verified CakeML compiler backend
Journal of functional programming, 2019, Vol.29, Article e2
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler
Journal of functional programming, 2016-01, Vol.26, Article e7
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular, higher order cardinality analysis in theory and practice
Journal of functional programming, 2017-01, Vol.27, p.1-55, Article e11
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dependent ML An approach to practical programming with dependent types
Journal of functional programming, 2007-03, Vol.17 (2), p.215-286
2007
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
ANF preserves dependent types up to extensional equality
Journal of functional programming, 2022-01, Vol.32, Article e12
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shared memory multiprocessor support for functional array processing in SAC
Journal of functional programming, 2005-05, Vol.15 (3), p.353-401
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A SQL to C compiler in 500 lines of code
Journal of functional programming, 2019, Vol.29, Article e9
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shifting the stage: Staging with delimited control
Journal of functional programming, 2011-11, Vol.21 (6), p.617-662
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Secrets of the Glasgow Haskell Compiler inliner
Journal of functional programming, 2002-07, Vol.12 (4-5), p.393-434
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Inlining as staged computation
Journal of functional programming, 2003-05, Vol.13 (3), p.647-676, Article S0956796802004616
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
Journal of functional programming, 2001-03, Vol.11 (2), p.207-251
2001
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A parallel SML compiler based on algorithmic skeletons
Journal of functional programming, 2005-07, Vol.15 (4), p.615-650
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shifting the stage
Journal of functional programming, 2011-11, Vol.21 (6), p.617-662
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Debugger for Standard ML
Journal of functional programming, 1995-04, Vol.5 (2), p.155-200
1995
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
EDUCATIONAL PEARL: A Nanopass framework for compiler education
Journal of functional programming, 2005-09, Vol.15 (5), p.653-667
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verified secure compilation for mixed-sensitivity concurrent programs
Journal of functional programming, 2021, Vol.31, Article e18
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The semantics of future and an application
Journal of functional programming, 1999-01, Vol.9 (1), p.1-31
1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
Journal of functional programming, 2001, Vol.11 (3), p.207-251
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Debugger for Standard ML1
Journal of functional programming, 1995-04, Vol.5 (2), p.155-200
1995
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
Journal of functional programming, 1996-07, Vol.6 (4), p.621-655
1996
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Tail recursion without space leaks
Journal of functional programming, 1992-01, Vol.2 (1), p.73-79
1992
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shrinking lambda expressions in linear time
Journal of functional programming, 1997-09, Vol.7 (5), p.515-540
1997
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Communication lifting: fixed point computation for parallelism
Journal of functional programming, 1995-10, Vol.5 (4), p.549-581
1995
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Contract lenses: Reasoning about bidirectional programs via calculation
Journal of functional programming, 2023-11, Vol.33, Article e10
2023
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 159
Suche als RSS-Feed
Aktive Filter
KollektionWiley Online Library
SpracheJapanisch
KollektionCambridge Journals Online (DEFF)
KollektionIngenta
Suchergebnisse filtern
Filter anzeigen