Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michał Pałka
Making Random Judgments: Automatically Generating Well-Typed Terms From the Definition of a Type-System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Enumerating Well-Typed Terms Generically
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatically Generating Interesting Events With LifeJoin
Automatically Generating Environments for Dynamic Diagram Languages
Well-Typed Logic Programs Are Not Wrong
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Convergence of a ‘Gibbs-Boltzmann’ Random Measure for a Typed Branching Diffusion
Lecture Notes in Mathematics
Number Theory
Algebra
A Better Approach to Generating Random Numbers
Mathematical Journal of Interdisciplinary Sciences
The Role of Society in Making Distributive Judgments
Health Affairs
Medicine
Health Policy
Automatically Generating Feynman Rules for Improved Lattice Field Theories
Journal of Computational Physics
Numerical Analysis
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Computational Mathematics
Astronomy
Physics
Large Deviation Result for the Empirical Locality Measure of Typed Random Geometric Graphs
International Journal of Statistics and Probability
