Higher-Order and Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

152
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer (Kluwer Academic Publishers)

1573-0557, 1388-3690
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Editorial TFP 2009/2010

2013 ◽  
Vol 26 (1-4) ◽  
pp. 1-2
Author(s):  
Viktória Zsók ◽  
Rex Page ◽  
Julia Lawall

Graph-based communication in Eden

2013 ◽  
Vol 26 (1-4) ◽  
pp. 3-28
Author(s):  
Thomas Horstmeyer ◽  
Rita Loogen

scholarly journals Graphical and incremental type inference. A graph transformation approach

2013 ◽  
Vol 26 (1-4) ◽  
pp. 29-62
Author(s):  
Silvia Clerici ◽  
Cristina Zoltan ◽  
Guillermo Prestigiacomo
Keyword(s):  
Graph Transformation ◽  
Type Inference ◽  
Transformation Approach

Types and associated type families for hardware simulation and synthesis

2012 ◽  
Vol 25 (2-4) ◽  
pp. 255-274 ◽  
Author(s):  
Andy Gill ◽  
Tristan Bull ◽  
Andrew Farmer ◽  
Garrin Kimmell ◽  
Ed Komp

scholarly journals The Racket virtual machine and randomized testing

2012 ◽  
Vol 25 (2-4) ◽  
pp. 209-253 ◽  
Author(s):  
Casey Klein ◽  
Matthew Flatt ◽  
Robert Bruce Findler
Keyword(s):  
Virtual Machine

Structural types for systems of equations

2012 ◽  
Vol 25 (2-4) ◽  
pp. 275-310 ◽  
Author(s):  
John Capper ◽  
Henrik Nilsson
Keyword(s):  
Systems Of Equations ◽  
Structural Types

scholarly journals Scala-Virtualized: linguistic reuse for deep embeddings

2012 ◽  
Vol 25 (1) ◽  
pp. 165-207 ◽  
Author(s):  
Tiark Rompf ◽  
Nada Amin ◽  
Adriaan Moors ◽  
Philipp Haller ◽  
Martin Odersky
Keyword(s):  
Linguistic Reuse

scholarly journals Editorial PEPM2012

2012 ◽  
Vol 25 (1) ◽  
pp. 1-2
Author(s):  
Oleg Kiselyov ◽  
Julia Lawall ◽  
Simon Thompson

Functional programs as compressed data

2012 ◽  
Vol 25 (1) ◽  
pp. 39-84 ◽  
Author(s):  
Naoki Kobayashi ◽  
Kazutaka Matsuda ◽  
Ayumi Shinohara ◽  
Kazuya Yaguchi
Keyword(s):  
Compressed Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document