Paul Klint PaulKlint
-
Centrum Wiskunde & Informatica
- Amsterdam
- http://www.cwi.nl/~paulk
Organizations
Pinned Loading
-
usethesource/rascal
usethesource/rascal PublicThe implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
-
usethesource/rascal-core
usethesource/rascal-core Public archiveStatic checker, compiler to Java and run-time classes for compiled Rascal programs
-
usethesource/typepal
usethesource/typepal PublicTypePal is a framework for name analysis, type checking and type inference
-
1,208 contributions in the last year
| Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created an issue in usethesource/rascal that received 2 comments
typeOf gives incorrect type for concrete list
Describe the bug
The typeOf function gives an incorrect type for a concrete list
To Reproduce
Steps to reproduce the behavior:
import Type;
import …
2
comments