Is TinkerType still being maintained?

03 March 2014 1 8K Report

I see the associated weblink mentioned in the paper is dead. I failed to also find any project homepage. Is that because TinkerType is no longer maintained?

Article TinkerType: A Language for Playing With Formal Systems

Hossein Haeri

In a personal email exchange, Benjamin Pierce informed me that TinkerType is discontinued; neither is it subsumed by a follow-up project.

Badges
Science topic

More Hossein Haeri's questions See All

What are the research papers on Component Refinement?

I am after research which studies the impacts of refining components in a component-based software system. I am not very familiar with the research papers dedicated to the practice of CBSE. I have...

08 September 2014 1,940 0 View

How to solve g_mmpbsa error?

Program: g_mmpbsa, version 2024.1 Source file: extrn_apbs.cxx (line 152) Fatal error: Failed to execute command: $APBS pybYcUWA.in --output-file=pybYcUW.out

07 August 2024 6,066 0 View

Some new emerging problems on application of RL for scheduling in IoT networks?

I have seen plenty of existing works on applied Reinforcement Learning (RL) policies for optimized scheduling in IoT networks including Q-learning, DQNs, and the newer ones including PPO for...

01 August 2024 8,754 2 View

Hi there, someone has the SeinFit software for windows because I cannot download it?

DOS version.

29 July 2024 6,064 1 View

There is possible way to calculate experimental DOS from the UPS spectrum of the material. How to calculate the DOS from UPS?

Here, I have attached the UPS graph. I'm trying to calculate the DOS/DOVS from the UPS.

29 July 2024 4,971 1 View

Are students in the MBA program in Fisheries Enterprises Management eligible to work in the aquaculture industry abroad?

Are students in the MBA program in Fisheries Enterprises Management eligible to work in the aquaculture industry abroad? Could you explain the foreign countries interested in recruiting...

28 July 2024 8,378 2 View

How can we calculate the percentage of configuration interaction (CI) in the UV output data of the Gaussian program?

How can we calculate the percentage of configuration interaction (CI) in the UV output data of the Gaussian program? for example: Excited State 17: Singlet-A 5.1359 eV 241.41 nm...

28 July 2024 9,165 2 View

What are needed modules for an IoT waterlevel monitoring system?

I want to know the modules needed for an IoT project for water level monitoring

27 July 2024 1,502 3 View

All math can be explained by iterator of code?

all math can be traversed by code? all math can be translate to code?

26 July 2024 9,530 0 View

Someone have the key or the installer of the program Mx pro 3000 (PCR real time)?

I need to install this program

25 July 2024 4,756 0 View

Can we eliminate the stress singularity at the tip of the crack by manipulating the elastic constants?

The aim of the research here is to prevent the propagation of the crack in the fabricated elastic medium with useful applications.

25 July 2024 9,976 3 View