Jacob Johannsen

According to our database1, Jacob Johannsen authored at least 6 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Compiling a Higher-Order Smart Contract Language to LLVM.
CoRR, 2020

2019
Safer smart contract programming with Scilla.
Proc. ACM Program. Lang., 2019

2014
Needed Computations Shortcutting Needed Steps.
Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

2013
From Outermost Reduction Semantics to Abstract Machine.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2011
A walk in the semantic park.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
Inter-deriving semantic artifacts for object-oriented programming.
J. Comput. Syst. Sci., 2010


  Loading...