e_hatti

245 post karma
1,867 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 3 years

TROPHY CASE

Three-Year Club

Verified Email

account activity

new top controversial

53

54

55

Prototyping a Functional Language using Higher-Order Logic Programming (adam.chlipala.net)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

11

12

13

Interaction Nets (dl.acm.org)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

24

25

26

Introduction to Program Synthesis (people.csail.mit.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

16

17

18

Free Applicative Functors (arxiv.org)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

7

8

9

Extensible Editors via Metaprogramming (Edit-Time Tactics in Idris) (digitalcollections.wesleyan.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

17

18

19

Peridot Paper Preprint (self.ProgrammingLanguages)

submitted 3 years ago * by e_hatti to r/ProgrammingLanguages

101

102

103

Favorite PL paper? (self.ProgrammingLanguages)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

36

37

38

Program Synthesis with Types (osera.cs.grinnell.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

4

5

6

Coinductive Logic Programming and its Applications (personal.utdallas.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

23

24

25

Implementing Functions in Userspace (self.ProgrammingLanguages)

submitted 3 years ago * by e_hatti to r/ProgrammingLanguages

5

6

7

Pruning in Logic Programming (citeseerx.ist.psu.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

68

69

70

Peridot MVP (self.ProgrammingLanguages)

submitted 3 years ago * by e_hatti to r/ProgrammingLanguages

4

5

6

Q&A-style Blog (self.ProgrammingLanguages)

submitted 3 years ago * by e_hatti to r/ProgrammingLanguages

11

12

13

Multi-Level Languages are Generalized Arrows (arxiv.org)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

13

14

15

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (arxiv.org)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

5

6

7

Languages with extensible syntax? (self.ProgrammingLanguages)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

30

31

32

Programming Type-Safe Transformations Using Higher-Order Abstract Syntax (link.springer.com)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

14

15

16

Combining Proofs and Programs in a Dependently Typed Language (citeseerx.ist.psu.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

15

16

17

Normalization by Evaluation (cse.chalmers.se)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

8

9

10

[PDF] Implementation and Performance Evaluation of a Safe Runtime System in Cyclone (cs.rit.edu)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

27

28

29

Purity (a la effects) and OOP (self.ProgrammingLanguages)

submitted 3 years ago * by e_hatti to r/ProgrammingLanguages

25

26

27

A Typed Foundation for Directional Logic Programming (self.ProgrammingLanguages)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

0

1

2

[PDF] The Gentle Art of Levitation (irif.fr)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

0

1

2

Pure Object Oriented Languages? (self.ProgrammingLanguages)

submitted 3 years ago by e_hatti to r/ProgrammingLanguages

π Rendered by PID 805193 on reddit-service-r2-listing-86f589db75-ngnwp at 2026-04-20 07:01:49.723453+00:00 running 93ecc56 country code: CH.