skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Nome da Publicação: Higher-Order And Symbolic Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A verified framework for higher-order uncurrying optimizations
A verified framework for higher-order uncurrying optimizations
Material Type:
Artigo 		Adicionar ao Meu Espaço

A verified framework for higher-order uncurrying optimizations

Dargaye, Zaynah ; Leroy, Xavier

Higher-Order and Symbolic Computation, 2009-09, Vol.22 (3), p.199-231 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
2
Visual Lisp/CLOS programming in OpenMusic
Visual Lisp/CLOS programming in OpenMusic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Visual Lisp/CLOS programming in OpenMusic

Bresson, Jean ; Agon, Carlos ; Assayag, Gérard

Higher-Order and Symbolic Computation, 2009-03, Vol.22 (1), p.81-111 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
3
Graph-based communication in Eden
Graph-based communication in Eden
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graph-based communication in Eden

Horstmeyer, Thomas ; Loogen, Rita

Higher-Order and Symbolic Computation, 2013-12, Vol.26 (1-4), p.3-28 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
Polynomial-time inverse computation for accumulative functions with multiple data traversals
Polynomial-time inverse computation for accumulative functions with multiple data traversals
Material Type:
Artigo 		Adicionar ao Meu Espaço

Polynomial-time inverse computation for accumulative functions with multiple data traversals

Matsuda, Kazutaka ; Inaba, Kazuhiro ; Nakano, Keisuke

Higher-Order and Symbolic Computation, 2012-03, Vol.25 (1), p.3-38 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
5
Continuation-Passing C, compiling threads to events through continuations
Continuation-Passing C, compiling threads to events through continuations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Continuation-Passing C, compiling threads to events through continuations

Kerneis, Gabriel ; Chroboczek, Juliusz

Higher-Order and Symbolic Computation, 2011-09, Vol.24 (3), p.239-279 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
6
Keeping calm in the face of change: Towards optimisation of FRP by reasoning about change
Keeping calm in the face of change: Towards optimisation of FRP by reasoning about change
Material Type:
Artigo 		Adicionar ao Meu Espaço

Keeping calm in the face of change: Towards optimisation of FRP by reasoning about change

Sculthorpe, Neil ; Nilsson, Henrik

Higher-Order and Symbolic Computation, 2010-06, Vol.23 (2), p.227-271 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
7
Comparing parallel functional languages: Programming and performance
Comparing parallel functional languages: Programming and performance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comparing parallel functional languages: Programming and performance

LOIDL, H.-W ; RUBIO, F ; REBON, A. J ; TRINDER, P. W ; SCAIFE, N ; HAMMOND, K ; HORIGUCHI, S ; KLUSIK, U ; LOOGEN, R ; MICHAELSON, G. J ; PENA, R ; PRIEBE, S

Higher-order and symbolic computation, 2003-09, Vol.16 (3), p.203-251 [Periódico revisado por pares]

Heidelberg: Springer

Texto completo disponível

Citações Citado por
8
The Peter Landin prize
The Peter Landin prize
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Peter Landin prize

Hammond, Kevin ; Michaelson, Greg

Higher-Order and Symbolic Computation, 2009-12, Vol.22 (4), p.305-312 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
9
A functional approach to generic programming using adaptive traversals
A functional approach to generic programming using adaptive traversals
Material Type:
Artigo 		Adicionar ao Meu Espaço

A functional approach to generic programming using adaptive traversals

Chadwick, Bryan ; Lieberherr, Karl

Higher-Order and Symbolic Computation, 2010-11, Vol.23 (4), p.433-463 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
10
Functional un|unparsing
Functional un|unparsing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functional un|unparsing

Asai, Kenichi ; Kiselyov, Oleg ; Shan, Chung-chieh

Higher-Order and Symbolic Computation, 2011-11, Vol.24 (4), p.311-340 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.