Concepedia

Michał H. Pałka

MH

Statistics

Publications

3

Citations

186

H-Index

3

Active since

2011

Affiliations

Chalmers University of Technology(Current)

Michał H. Pałka is an author at Chalmers University of Technology specializing in computing, computer science, and computer engineering.

Publications per year

2011–2015

3

Publications

3

Testing an optimising compiler by generating random lambda terms

Michał H. Pałka, Koen Claessen, Alejandro Russo et al. · 2011 · 121 citations

, , +13

Generating constrained random data with uniform distribution

Koen Claessen, Jonas Duregård, Michał H. Pałka · Journal of Functional Programming · 2015 · 38 citations · Full text

, , +7

Splittable pseudorandom number generators using cryptographic hashing

Koen Claessen, Michał H. Pałka · 2013 · 27 citations · Full text

, , +16

1–3 of 3